ℹ️
🇬🇧
Search
Search for publications relevant for "refinement prover"
refinement prover
Publication
Class
Person
Publication
Programmes
publication
AsmRefProver - Asmeta Refinement correctness Prover
Publication without faculty affiliation