368 followers
833 followers
RT @adbrucker: If you don't want to read Isabelle theories: a high level description of the semantics has been published at SEFM 2021 (http…
87 followers
RT @adbrucker: If you don't want to read Isabelle theories: a high level description of the semantics has been published at SEFM 2021 (http…
411 followers
If you don't want to read Isabelle theories: a high level description of the semantics has been published at SEFM 2021 (https://t.co/nEgwxhuvQN) and of the testing approach at TAP 2022 (https://t.co/1hgmM4Pebj).