Skip to content

Towards a Uniform Design Methodology for Software, Firmware, and Hardware.

Helmut K. Berg

VenueBFM
Year1979
ProceedingsThe Use of Formal Specification of Software

Browse the full FM paper archive.