Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Sellink, A.
Volume
Title
154
On automating process algebra proofs
Korver, H.
|
Sellink, A.
147
Formalising LPOs and Invariants in Coq
Korver, H.
|
Sellink, A.
Online