| Original language | English |
|---|---|
| Title of host publication | Proceedings of LoPSTr'93 |
| Editors | Y. Deville |
| Publication status | Published - 1993 |
Publication series
| Name | Workshops in Computing |
|---|
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Guiding Synthesis Proofs
V. Lombart, G. A. Wiggins, Y. Deville
Research output: Chapter in Book/Report/Conference proceeding › Conference paper