DMCA

Ten Commandments Revisited: A Ten-Year Perspective on the Industrial Application of Formal Methods (2005)

by Jonathan P. Bowen , Michael G. Hinchey
Venue:Proc. 10th International Workshop on Formal Methods for Industrial Critical Systems, ACM
Citations:12 - 3 self