First Page | Document Content | |
---|---|---|
![]() Date: 2014-07-01 16:25:40Theoretical computer science Engineering Electrical engineering Formal methods Grandes coles Rajeev Alur Model checking Formal verification Cachan cole Normale Suprieure Ens Computer Aided Verification | Add to Reading List |