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.

VeriFast for Java: A Tutorial

Jan Smans, Bart Jacobs, Frank Piessens. VeriFast for Java: A Tutorial. In Dave Clarke, James Noble, Tobias Wrigstad, editors, Aliasing in Object-Oriented Programming. Types, Analysis and Verification. Volume 7850 of Lecture Notes in Computer Science, pages 407-442, Springer, 2013. [doi]

Authors

Jan Smans

This author has not been identified. Look up 'Jan Smans' in Google

Bart Jacobs

This author has not been identified. It may be one of the following persons: Look up 'Bart Jacobs' in Google

Frank Piessens

This author has not been identified. Look up 'Frank Piessens' in Google
runs on