383 followers
Tests and Proofs
Springer International Publishing
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…
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…
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).