First Page | Document Content | |
---|---|---|
![]() Date: 2009-07-09 09:15:07Computing Formal methods Logic in computer science Program analysis Abstract interpretation Formal verification Abstraction Type system Type safety Software engineering Programming language theory Type theory | Add to Reading List |