Next:
Relevant Papers
Up:
No Title
Previous:
Visitors: Leeds
Scientific Output from Augsburg
Relevant Papers
Case Studies
Deductive Design
Foundations
A Talk by T Kropf and Discussion, February 1995
Talk: A Formal Semantics for the Verification of VHDL
Discussion of Further Relation
Discussion with T. Nipkow on Isabelle, Mar 1995
Bernhard Moeller
Fri May 12 14:21:20 MET DST 1995