Repsonse to The Formal Specification of Safety Requirements for Storing Explosives (Short Communication)

Peter Gorm Larsen. Repsonse to The Formal Specification of Safety Requirements for Storing Explosives (Short Communication). Formal Asp. Comput., 6(5):565-568, 1994.

Abstract

Abstract is missing.