Using Specifications to Check Source Code
| dc.contributor.author | Evans, David | en_US |
| dc.date.accessioned | 2023-03-29T15:23:03Z | |
| dc.date.available | 2023-03-29T15:23:03Z | |
| dc.date.issued | 1994-06 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149776 | |
| dc.relation.ispartofseries | MIT-LCS-TR-628 | |
| dc.title | Using Specifications to Check Source Code | en_US |
