Items where authors include "Poskitt, Chris"

Article

Poskitt, Chris and Plump, Detlef orcid.org/0000-0002-1148-822X (2023) Monadic second-order incorrectness logic for GP 2. Journal of Logical and Algebraic Methods in Programming. 100825. ISSN 2352-2216

Proceedings Paper

Poskitt, Chris, Dodds, Mike orcid.org/0000-0002-4439-0130, Paige, Richard Freeman orcid.org/0000-0002-1978-9852 et al. (1 more author) (2014) Towards Rigorously Faking Bidirectional Model Transformations. In: Dingel, Juergen, de Lara, Juan, Lucio, Levi and Vangheluwe, Hans, (eds.) AMT 2014 - Analysis of Model Transformations Workshop Proceedings. ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, 28 Sep - 03 Oct 2014. CEUR Workshop Proceedings . CEUR Workshop Proceedings , ESP , pp. 70-75.