Next:
A Hoare-Logic for
Up:
Meeting at Madrid
Previous:
NGHDL Concepts
Semantical Issues
Bernhard Moeller
Fri May 12 14:21:20 MET DST 1995