J. Staunstrup profile picture

J. Staunstrup

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Program specification
Hardware/software co-design
Formal methods for VLSI design
Formal Methods for Vlsi Design: Ifip W G10.5 Lecture Notes
Hardware/Software Co-Design: Principles and Practice
Program Specification Proceedings of a Workshop Aarhus, Denmark, August 1981