Computers & Chemical Engineering · 1996 · 25 citations · 6 references
Computer-aided Operability StudyFormal SpecificationEngineeringProgram AnalysisAutomated ReasoningSoftware TestingAbstract InterpretationFormal MethodsSoftware AnalysisFormal TechniqueComputer ScienceFormal Verification
6
Operability Studies and Hazard Analysis
H.G. Lawley · Chemical engineering progress · 1974 · 250 citations