| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Designing Correct Circuits: Proceedings of the Second Ifip Wg 10.2/Wg 10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January, 199 ... A, Computer Science and Technology, A-5) | 978-O-444-89335-2 (O-444-89335-O) | 1992 | Ifip Wg10.2/Wg10.5 Workshop on Designing Correct Circuits 1992 lyngby |
J. S. · J. Staunstrup · Jørgen Staunstrup · Jorgen Staunstrup And Wayne Wolf