Investigating Miraculous Specifications (1998)
by
Sharon Flynn
| Venue: | In Northern Formal Methods Workshop |
| Citations: | 1 - 1 self |
Document Versions
| Investigating Miraculous Specifications –Sharon Flynn — 1998 — In Northern Formal Methods Workshop |
