Show simple item record

Automatic Generation and Checking of Program Specifications

dc.contributor.authorNimmer, Jeremyen_US
dc.date.accessioned2023-03-29T15:35:52Z
dc.date.available2023-03-29T15:35:52Z
dc.date.issued2002-06
dc.identifier.urihttps://hdl.handle.net/1721.1/149954
dc.relation.ispartofseriesMIT-LCS-TR-852
dc.titleAutomatic Generation and Checking of Program Specificationsen_US


Files in this item

Thumbnail
Name:
MIT-LCS-TR-852.pdf
Size:
666.6Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record