Publication Details: | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Book: Design and Implementation of Symbolic Computation Systems
| Editors: | Miola, A.
| Book#: | 3-540-52531-9 / 0-387-52531-9
| Publisher: | Springer-Verlag, Berlin, London
| Volume: | 429
| Pages: | 151-153
| |
Paper in Conference Proceedings #452 | |
Title: | the Use of Proof Plans in Formal Methods |
---|---|
Authors: | Bundy,A |
Date: | 1990 |
Presented: | |
Keywords: |