Short communication : response to "the formal specification of safety requirements for storing explosives"

Authors
Peter Gorm Larsen
Citation
Peter Gorm Larsen, Short communication : response to "the formal specification of safety requirements for storing explosives", Formal aspects of computing The international journal of formal methods , 6(5), 1994, pp. 565-568
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
6
Issue
5
Year of publication
1994
Pages
565 - 568
Database
ACNP
SICI code