%0 Conference Paper %1 conf/auisc/NewbyGMOMN15 %A Newby, Tristan %A Grove, Duncan A. %A Murray, Alex %A Owen, Chris A. %A McCarthy, Jim %A North, Chris J. %B AISC %D 2015 %E Welch, Ian %E Yi, Xun %I Australian Computer Society %K dblp %P 25-34 %T Annex: A Middleware for Constructing High-Assurance Software Systems. %U http://dblp.uni-trier.de/db/conf/auisc/auisc2015.html#NewbyGMOMN15 %V 161 %@ 978-1-921770-43-2

@inproceedings{conf/auisc/NewbyGMOMN15, added-at = {2019-07-25T00:00:00.000+0200}, author = {Newby, Tristan and Grove, Duncan A. and Murray, Alex and Owen, Chris A. and McCarthy, Jim and North, Chris J.}, biburl = {https://www.bibsonomy.org/bibtex/2e8a050b3bd6955bc9c4bba24a0128025/dblp}, booktitle = {AISC}, crossref = {conf/auisc/2015}, editor = {Welch, Ian and Yi, Xun}, ee = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV161Newby.html}, interhash = {7f95a46849d1ae7e62c0b02e67f7a837}, intrahash = {e8a050b3bd6955bc9c4bba24a0128025}, isbn = {978-1-921770-43-2}, keywords = {dblp}, pages = {25-34}, publisher = {Australian Computer Society}, series = {CRPIT}, timestamp = {2019-07-26T11:40:57.000+0200}, title = {Annex: A Middleware for Constructing High-Assurance Software Systems.}, url = {http://dblp.uni-trier.de/db/conf/auisc/auisc2015.html#NewbyGMOMN15}, volume = 161, year = 2015 }