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