next up previous contents
Next: Planned Activities Up: First Annual Meeting Previous: Case Studies

Visitors

  The meeting was attended by J Staunstrup and M Sheeran as guests of the Working Group. J Staunstrup gave talks on formal hardware verification philosophy and techniques at TU Denmark (J Staunstrup, Formal Approach to Hardware Design, Kluwer, 1994), and on the IFIP WG 10.2 List of Benchmark Verification Problems (jointly maintained by J Staunstrup and T Kropf).



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