Response to ``The formal specification of safety requirements for storing explosives

DOI10.1007/BF01211868zbMath0822.68062DBLPjournals/fac/Larsen94WikidataQ57733872 ScholiaQ57733872MaRDI QIDQ1343867

Peter Gorm Larsen

Publication date: 19 March 1995

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

specification languageACS system specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• The formal specification of safety requirements for storing explosives

This page was built for publication: Response to ``The formal specification of safety requirements for storing explosives