مؤلف: David de Frutos-Escrig

David de Frutos-Escrig & Manuel Nunez: Formal Techniques for Networked and Distributed Systems – FORTE 2004