Publications
Deciding KAT and Hoare Logic with Derivatives
Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012. | 2012 | inproceedings
Publication
Year of publication: 2012
Volume : 96
Pages : 127-140
Month :
CMUP publication : Yes