next up previous contents
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