External Links

Cite Key

Statistics

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

PDF

Tags

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.

An Automatic Verifier for Java-Like Programs Based on Dynamic Frames

Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfram Schulte. An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. In José Luiz Fiadeiro, Paola Inverardi, editors, Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Volume 4961 of Lecture Notes in Computer Science, pages 261-275, Springer, 2008. [doi]

Authors

Jan Smans

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

Bart Jacobs 0002

This author has not been identified. Look up 'Bart Jacobs 0002' in Google

Frank Piessens

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

Wolfram Schulte

Identified as Wolfram Schulte
runs on