Gheyi, Rohit.Naumann, David. (Eds.) () Formal Methods: Foundations and Applications15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 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.
Formal Methods: Foundations and Applications [electronic resource] : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings /
edited by Rohit Gheyi, David Naumann.
|Names:||Gheyi, Rohit. | Naumann, David.|
|Published:||Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.|
Lecture Notes in Computer Science, 7498
|Topics:||Computer science. | Software engineering. | Logic design. | Information Systems. | Computer Science. | Software Engineering. | Logics and Meanings of Programs. | Mathematical Logic and Formal Languages. | Programming Languages, Compilers, Interpreters. | Management of Computing and Information Systems. | Computer Science, general.|