Program Verification and Verification Oriented Programming

David C. Luckham. Program Verification and Verification Oriented Programming. In IFIP Congress. pages 783-793, 1977.

No reviews for this publication, yet.