Browse by Author

3 Results for Nanchen, Stanislas/

Subscribe to RSS feed for this result set

3. Verifying abstract state machines

Nanchen, Stanislas (2007)


Doctoral and Habilitation Theses