Opening book details…
About this Computer Science article
Proceedings of the 2012 ACM conference on High integrity language technology - HILT '12 - Program proving using intermediate verification languages (IVLs) like boogie and why3 by Leino, K. Rustan M. is a Computer Science article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Leino, K. Rustan M.
- Publisher
- Association for Computing Machinery; Association for Computing Machinery (ACM) (ISSN 1094-3641)
- Published
- 2012
- Language
- EN
- Field
- Computer Science (Physical Sciences)