Next:
Case Studies
Up:
First Annual Meeting
Previous:
Foundations
Guidelines for NGHDL and Design Methods
Augburg, Madrid, Kent, TU
List of concepts for NGHDL; representing NGHDL within Isabelle; and the methodology of NGHDL.
Bernhard Moeller
Fri May 12 14:21:20 MET DST 1995