Contact
For any question or remark related to the website please contact
async-www.VERIMAG@imag.fr.
Distributed and Complex Systems Group
DCS
Teams/Topics
- Formal Methods for Computer Security
- Behavior Interaction Priority BIP
- Specification Languages
and Validation - Program Verification
Misc.
|
|
|