BibTeX Export

@inproceedings{Authenticus:P-008-KZB,
	title = {{Deciding KAT and Hoare Logic with Derivatives}},
	author = {R Almeida and S Broda and N Moreira},
	booktitle = {Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012.},
	doi = {10.4204/EPTCS.96.10},
	pages = {127-140},
	publisher = {Open Publishing Association},
	type = {Proceedings Paper},
	volume = {96},
	year = {2012}
}