👤

Ahmed Bouajjani

2 books

Books by Ahmed Bouajjani

Formal Techniques for Disribut
Formal Techniques for Disributed Objects, Components, and Systems
2017
Computer Aided Verification
Computer Aided Verification
1993