Publications

An Approach to Model Checking Ada Programs

AuthID
P-008-4E9

Author(s)

Faria, JM

Martins, J

Pinto, JS

Editor(s)

Mats Brorsson; Luís Miguel Pinho

Document Type

Proceedings Paper

Year published

2012

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 7308 LNCS, Pages: 105-118

Conference

17Th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2012, Date: 11 June 2012 through 15 June 2012, Location: Stockholm

Indexing