J. Staunstrup

发表

Formal Methods for VLSI Design: IFIP Wg10.5 Lecture Notes

J. Staunstrup, 1990 .

Designing Correct Circuits, Proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992

Ifip Wg, J. Staunstrup, Robin Sharp, 1992, Designing Correct Circuits.