Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings (Lecture Notes in Computer Science, Band 7498)
von:
Rohit Gheyi ·
David Naumann
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-33295-1
ISBN-10: 3-642-33295-1
Springer
· 2012
