Abdelwaheb Ayari;David A. Basin
-;-
Logical framework based program development
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Modeling a Hardware Synthesis Methodology in Isabelle
Formal Methods in System Design