| dc.contributor.advisor | Liskov, Barbara H. | en_US |
| dc.contributor.author | Principato, Robert N., Jr. | en_US |
| dc.date.accessioned | 2023-03-29T15:02:19Z | |
| dc.date.available | 2023-03-29T15:02:19Z | |
| dc.date.issued | 1978-07 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149490 | |
| dc.description.abstract | This thesis develops the state machine specification technique, a formal specification technique for data abstractions based on Parnas' work on specifying software modules. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-202 | |
| dc.title | A Formalization of the State Machine Specification Technique | en_US |
| dc.identifier.oclc | 04209261 | |
