×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [set of statess0 s]
Home >
set of statess0 s
272: Software Engineering Fall 2012 Instructor: Tevfik Bultan Lecture 3: Modular Verification with Magic, Predicate Abstraction.
216 views
272: Software Engineering Fall 2012
22 views
Communication and Concurrency: CCS
58 views
Model Based Testing for Security Checking Wissam Mallouli and Prof. Ana Cavalli National Institute of Telecommunications, France November 21, 2007.
212 views