by Roderick Bloem , Eli Arbel
No reviews yet. Be the first!
Decidability of Parameterized Verificati...
Handbook of Model Checking
Computer Aided Verification
Trusted Systems
Software Verification
Trusted Systems 5th International Confer...
Financial audit
Reconfigurable Processor Array A Bit Sli...
Financial Management
Managerial Accounting
Advances in Computers, Volume 49 (Advanc...
Course ILT