Formal Techniques for Networked and Distributed Systems - FORTE 2006
-
heftet
,
Engelsk, 2006