The formal specification of safety requirements for storing explosives

Authors
Paul Mukherjee Victoria Stavridou
Citation
Paul Mukherjee et Victoria Stavridou, The formal specification of safety requirements for storing explosives, Formal aspects of computing The international journal of formal methods , 5(4), 1993, pp. 299-336
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
5
Issue
4
Year of publication
1993
Pages
299 - 336
Database
ACNP
SICI code