First Page | Document Content | |
---|---|---|
![]() Date: 2014-10-21 03:47:57Formal methods Logic in computer science SQL Postcondition Specification language Formal specification XML Program synthesis Computing Theoretical computer science Software engineering | Add to Reading List |