Formal Techniques for Java Programs release_rbitilj3dbfgxohlt3lenzkcze

by Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2002   p30-40

Archived Files and Locations

application/pdf  149.2 kB
file_w4ljmtdqongzddxvv3dh4y63jq
web.archive.org (webarchive)
pdfs.semanticscholar.org (aggregator)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2002
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 06330f44-162d-4f72-aba0-9471df10a2fd
API URL: JSON