Thesis (M.S.)--Worcester Polytechnic Institute. / Keywords: formal analysis; active interfaces; Z notations; EJ. Includes bibliographical references (p. 97-99).
| Identifer | oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/50036936 |
| Date | January 2002 |
| Creators | Kanetkar, Kavita Vijay. |
| Source Sets | OCLC |
| Language | English |
| Detected Language | English |
| Source | Link to electronic thesis. |
Page generated in 0.0018 seconds