1818236
Results 1 to 1 of 1
Selection :
L'assistant à la démonstration Coq: application à la preuve de systèmes parallèles = The Coq proof assistant : parallel systems applicationPAULIN-MOHRING, C.Modélisation et vérification des processus parallèles. Ecole d'été. 1998, pp 239-251Conference Paper