https://research.ugent.be/web/result/project/b1d609aa-1b4d-11ee-84ff-afb3b0b1119a/details/en
Research Explorer - (1280024N) Duality theory for verification formalisms
Research Explorer - Basic information about research project Duality theory for verification formalisms (1280024N). - Relations are ubiquitous in mathematics...
research explorerdualitytheoryverification