Back to Results
First PageMeta Content
Theoretical computer science / Formal methods / Software engineering / Computing / Logic in computer science / Java Modeling Language / Postcondition / Extended static checking / Predicate transformer semantics / ESC/Java / Precondition / KeY


Reducing the Barriers to Writing Verified Specifications Todd W. Schiller Michael D. Ernst University of Washington
Add to Reading List

Document Date: 2012-08-23 11:19:39


Open Document

File Size: 1,08 MB

Share Result on Facebook
UPDATE