The evolution of Def Stan 00-55 and 00-56 : an intensification of the 'formal methods debate` in the UK /
Tierney, Margaret.
Edinburgh PICT.
Edinburgh : Centre for Social Sciences, University of Edinburgh,
1991.
Includes bibliographical references.
Computer software
Military art and science