First Page | Document Content | |
---|---|---|
![]() Date: 2013-06-10 05:40:58Logic in computer science SPARK Postcondition Subroutine Ada Formal methods Precondition Verification and validation Library Computing Software engineering Computer programming | Add to Reading List |