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

Authors: Peter Gorm Larsen Nico Plat Hans Toetenel

Citation: Peter Gorm Larsen et al., A formal semantics of data flow diagrams, Formal aspects of computing The international journal of formal methods , 6(6), 1994, pp. 586-606