Specifying and verifying heap space allocation with JML and ESC/Java2

Research output: Contribution to conferencePaperpeer-review

1 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Specifying and verifying heap space allocation with JML and ESC/Java2'. Together they form a unique fingerprint.