The deconstruction of safety arguments through adversarial counter-argument /
Armstrong, J. M.
Paynter, S. P.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
2004.
Title from cover.
Includes bibliographical references.