Meyer, Bertrand.Nordio, Martin. (Eds.) () Tools for Practical Software VerificationLASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial LecturesMLA Citation
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Tools for Practical Software Verification [electronic resource] : LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures /
edited by Bertrand Meyer, Martin Nordio.
|Names:||Meyer, Bertrand. | Nordio, Martin.|
|Published:||Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.|
Lecture Notes in Computer Science, 7682
|Topics:||Computer science. | Software engineering. | Logic design. | Information Systems. | Computer Science. | Software Engineering. | Logics and Meanings of Programs. | Programming Techniques. | Programming Languages, Compilers, Interpreters. | Mathematical Logic and Formal Languages. | Management of Computing and Information Systems.|