Formalisation en Coq du calcul de processus HOcore Simon Boulier 1 Alan Schmitt 2

First Page		Document Content
Date: 2012-09-21 11:09:04		Formalisation en Coq du calcul de processus HOcore Simon Boulier 1 Alan Schmitt 2 Add to Reading List Source URL: sardes.inrialpes.fr Download Document from Source Website File Size: 488,72 KB Share Document on Facebook