"Verified Software: A Grand Challenge."

Cliff B. Jones, Peter W. O'Hearn, Jim Woodcock (2006)

Details and statistics

DOI: 10.1109/MC.2006.145

access: closed

type: Journal Article

metadata version: 2023-02-17