Back to Results
First PageMeta Content



Automatic Unbounded Verification of Alloy Specifications with Prover9 Alcino Cunha and Nuno Macedo HASLab — High Assurance Software Laboratory INESC TEC & Universidade do Minho, Braga, Portugal May 2011
Add to Reading List

Document Date: 2014-11-03 12:05:18

Open Document

File Size: 347,28 KB

Share Result on Facebook
UPDATE