Joshi, Rajeev., Müller, Peter.Podelski, Andreas. (Eds.) () Verified Software: Theories, Tools, Experiments4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. ProceedingsMLA Citation
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Verified Software: Theories, Tools, Experiments [electronic resource] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings /
edited by Rajeev Joshi, Peter Müller, Andreas Podelski.
|Names:||Joshi, Rajeev. | Müller, Peter. | Podelski, Andreas.|
|Published:||Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.|
Lecture Notes in Computer Science, 7152
|Topics:||Computer science. | Software engineering. | Logic design. | Artificial intelligence. | Computer Science. | Software Engineering. | Logics and Meanings of Programs. | Programming Languages, Compilers, Interpreters. | Programming Techniques. | Mathematical Logic and Formal Languages. | Artificial Intelligence (incl. Robotics).|