Author:
van Delft Myrthe,Geuvers Herman,Willemse Tim A. C.
Publisher
Springer International Publishing
Reference18 articles.
1. Bertot, Y., Komendantsky, V.: Fixed point semantics and partial recursion in Coq. In: PPDP, pp. 89–96. ACM (2008)
2. Cranen, S., Gazda, M., Wesselink, W., Willemse, T.A.C.: Abstraction in fixpoint logic. ACM Trans. Comput. Log. 16(4/29), 29:1–29:39 (2015)
3. Lecture Notes in Computer Science;S Cranen,2013
4. Dittmann, C.: Positional determinacy of parity games. In: Archive of Formal Proofs (2015)
5. Garavel, H., Lang, F., Mateescu, R.: Compositional verification of asynchronous concurrent systems using CADP. Acta Informatica 52(4), 337–392 (2015)