Monadic second-order incorrectness logic for GP 2

Chris Poskitt, Detlef Plump

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Article number100825
Number of pages29
JournalJournal of Logical and Algebraic Methods in Programming
Volume130
Early online date5 Oct 2022
DOIs
Publication statusPublished - 1 Jan 2023

Bibliographical note

© 2022 Elsevier Inc. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy.

Cite this