External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Program proving using intermediate verification languages (IVLs) like boogie and why3

K. Rustan M. Leino. Program proving using intermediate verification languages (IVLs) like boogie and why3. In Ben Brosgol, Jeff Boleng, S. Tucker Taft, editors, Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA. pages 25-26, ACM, 2012. [doi]

Authors

K. Rustan M. Leino

This author has not been identified. Look up 'K. Rustan M. Leino' in Google
runs on