First Page | Document Content | |
---|---|---|
![]() Date: 2015-08-14 13:22:55Theoretical computer science Software engineering Formal methods Logic in computer science Software testing Formal verification Separation logic Loop invariant Software verification Eiffel Postcondition Invariant | Add to Reading List |