%0 Conference Paper %1 conf/scss/ManneringHR08 %A Mannering, Derek %A Hall, Jon G. %A Rapanotti, Lucia %B SSS %D 2008 %E Redmill, Felix %E Anderson, Tom %I Springer %K %P 25-41 %T Safety Process Improvement with POSE and Alloy. %U http://dblp.uni-trier.de/db/conf/scss/sss2008.html#ManneringHR08 %@ 978-1-84800-099-5

@inproceedings{conf/scss/ManneringHR08, added-at = {2023-12-12T20:57:57.000+0100}, author = {Mannering, Derek and Hall, Jon G. and Rapanotti, Lucia}, biburl = {https://www.bibsonomy.org/bibtex/26a4cd0871787eca0b7a6a5bda13a2314/admin}, booktitle = {SSS}, crossref = {conf/scss/2008}, editor = {Redmill, Felix and Anderson, Tom}, ee = {https://doi.org/10.1007/978-1-84800-100-8_3}, interhash = {370c0a9aa30012f5a3428275732a8038}, intrahash = {6a4cd0871787eca0b7a6a5bda13a2314}, isbn = {978-1-84800-099-5}, keywords = {}, pages = {25-41}, publisher = {Springer}, timestamp = {2023-12-12T20:57:57.000+0100}, title = {Safety Process Improvement with POSE and Alloy.}, url = {http://dblp.uni-trier.de/db/conf/scss/sss2008.html#ManneringHR08}, year = 2008 }