J. Staunstrup1952 · 7 obras en el catálogoObrasProgram specificationHardware/software co-designFormal methods for VLSI designSSelf-timed designSelf-timed designA formal approach to hardware designFormal Methods for Vlsi DesignProgram Specification