K. G. W. Goossens
4 published titles
Embedding a CHDDL in a proof system
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
Operational semantics based formal symbolic simulation
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
Structure and behaviour in hardware verification
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1993
- Details
The formalisation of a hardware description language in a proof system : motivation and applications
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1993
- Details
