 | 1994 |
|---|
| 6 |       | Catia M. Angelo,
Luc J. M. Claesen,
Hugo De Man:
Reasoning About a Class of Linear Systems of Equations in HOL.
TPHOLs 1994: 33-48 |
| 5 |  | Catia M. Angelo,
Luc J. M. Claesen,
Hugo De Man:
Modeling Multi-rate DSP Specification Semantics for Formal Transformational Design in HOL.
Formal Methods in System Design 5(1/2): 61-94 (1994) |
| 1993 |
|---|
| 4 | | Catia M. Angelo,
Luc J. M. Claesen,
Hugo De Man:
Degrees of Formality in Shallow Embedding Hardware Description Languages in HOL.
HUG 1993: 89-100 |
| 3 | | Catia M. Angelo,
Diederik Verkest,
Luc J. M. Claesen,
Hugo De Man:
On the Comparison of HOL and Boyer-Moore for Formal Hardware Verification.
Formal Methods in System Design 2(1): 45-72 (1993) |
| 1992 |
|---|
| 2 | | Catia M. Angelo,
Luc J. M. Claesen,
Hugo De Man:
The Formal Semantics Definition of a Multi-Rate DSP Specification Language in HOL.
TPHOLs 1992: 375-394 |
| 1991 |
|---|
| 1 | | Catia M. Angelo,
Diederik Verkest,
Luc J. M. Claesen,
Hugo De Man:
Formal Hardware Verification in HOL and in Boyer-Moore: A Comparative Analysis.
TPHOLs 1991: 340-347 |
