@inproceedings{conf/safecomp/ArmstrongP04,
title = {The Deconstruction of Safety Arguments Through Adversarial Counter-Argument.},
author = {James M. Armstrong and Stephen Paynter},
booktitle = {SAFECOMP},
crossref = {conf/safecomp/2004},
editor = {Maritta Heisel and Peter Liggesmeyer and Stefan Wittmann},
pages = {3-16},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2004.html#ArmstrongP04},
volume = {3219},
year = {2004},
description = {dblp},
ee = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3219&spage=3}, isbn = {3-540-23176-5}, date = {2006-05-10},
keywords = {dblp }
}
::