Fitting Formal Methods into the Design Cycle

Open Webpage

Kenneth L. McMillan

Published: 1994, Last Modified: 05 Nov 2025DAC 1994EveryoneRevisionsBibTeXCC BY-SA 4.0