A Computing Medley on Program Verification, Specification and Automated Reasoning

Cached

Download Links

by John A. Van Der Poll