Publication Details: | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Book: ONA/ARPA/AFOSR/ARO/NSF Workshop on Increasing the Practical Impact of Formal Methods
| Editors: | Luqi, J.B.
| Book#: | MISSING
| Publisher: | MISSING
| Volume: | MISSING
| Pages: | MISSING
| |
Paper in Conference Proceedings #749 | |
Title: | Making Specification Design More Accountable |
---|---|
Authors: | Robertson,DS; Hesketh,J |
Date: | 1994 |
Presented: | |
Keywords: |