NASA formal methods. 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3--5, 2012. Proceedings

DOI10.1007/978-3-642-28891-3zbMath1239.68009OpenAlexW2481217403MaRDI QIDQ2428038

No author found.

Publication date: 20 April 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28891-3

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of computing (68Qxx) Theory of software (68Nxx)

Related Items (2)

CTL update of Kripke models through protections ⋮ The scope and limits of simulation in automated reasoning

This page was built for publication: NASA formal methods. 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3--5, 2012. Proceedings