First Page | Document Content | |
---|---|---|
![]() Date: 2013-04-05 06:08:36Software Theoretical computer science Systems engineering Unified Modeling Language Formal methods Logic in computer science KeY Hybrid system Formal verification First-order logic Proof theory Model checking | Add to Reading List |