next up previous contents
Next: Meeting at Madrid Up: Inaugural Meeting21 Previous: NGHDL

Deductive Design

  Here, it is most important to find the adequate refinement concepts. In addition, the most difficult problems will be



Bernhard Moeller
Fri May 12 14:21:20 MET DST 1995