Browse by Author

2 Results for Nanchen, Stanislas/

Subscribe to RSS feed for this result set

2. Verifying abstract state machines

Nanchen, Stanislas (2007)


Doctoral and Habilitation Theses