Catia M. Angelo
According to our database1,
Catia M. Angelo
authored at least 6 papers
between 1991 and 1994.
Collaborative distances:
Collaborative distances:
Timeline
1991
1992
1993
1994
0
1
2
3
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1994
Modeling Multi-rate DSP Specification Semantics for Formal Transformational Design in HOL.
Formal Methods Syst. Des., 1994
Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994
1993
Formal Methods Syst. Des., 1993
Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993
1992
The Formal Semantics Definition of a Multi-Rate DSP Specification Language in HOL.
Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992
1991
Formal Hardware Verification in HOL and in Boyer-Moore: A Comparative Analysis.
Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991