Specification and verification

Title
Specification and verification
Authors
Keywords
-
Journal
COMMUNICATIONS OF THE ACM
Volume 54, Issue 6, Pages 81
Publisher
Association for Computing Machinery (ACM)
Online
2011-06-06
DOI
10.1145/1953122.1953145

Ask authors/readers for more resources

Find Funding. Review Successful Grants.

Explore over 25,000 new funding opportunities and over 6,000,000 successful grants.

Explore

Add your recorded webinar

Do you already have a recorded webinar? Grow your audience and get more views by easily listing your recording on Peeref.

Upload Now