Show simple item record

Automatic Generation and Checking of Program Specifications

dc.contributor.authorNimmer, Jeremy W.en_US
dc.contributor.authorErnst, Michael D.en_US
dc.date.accessioned2023-03-29T15:34:25Z
dc.date.available2023-03-29T15:34:25Z
dc.identifier.urihttps://hdl.handle.net/1721.1/149926
dc.relation.ispartofseriesMIT-LCS-TR-823
dc.titleAutomatic Generation and Checking of Program Specificationsen_US


Files in this item

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

This item appears in the following Collection(s)

Show simple item record