Jean-François Pradat-Peyre

1 published title

Formal techniques for networked and distributed systems - FORTE 2006 : 26th IFIP WG 6.1 international conference, Paris, France, September 26-29, 2006 ; proceedings

(Contributor)

1 edition