Domains or Websites Registered and Owned by dnj@mit.edu
Software Abstractions - Resources
A new approach to software verification introduces Alloy, a language that captures the essence of software abstraction with an analysis that is fully automated.
Not Applicable
$
8.95
