Media type: E-Article Title: Special issue on Automated Verification of Critical Systems (AVoCS 2013) Contributor: Schneider, Steve; Treharne, Helen imprint: Elsevier BV, 2015 Published in: Science of Computer Programming Language: English DOI: 10.1016/j.scico.2015.08.006 ISSN: 0167-6423 Keywords: Software Origination: Footnote: Access State: Open Access