Skip to content
Vinony

J. Staunstrup

No biography available.

Works (4)

Cover of Hardware/software co-design
Hardware/software co-design
Cover of Formal methods for VLSI design
Formal methods for VLSI design
Cover of A formal approach to hardware design
A formal approach to hardware design
Cover of Program specification
Program specification