BibTeX Export

@inproceedings{Authenticus:P-00J-ZR6,
	title = {{A Typed Language for Events}},
	author = {S Alves and S Broda and M Fernandez},
	booktitle = {Logic-based Program Synthesis and Transformation (lopstr 2015)},
	doi = {10.1007/978-3-319-27436-2_7},
	pages = {107-123},
	publisher = {Springer Int Publishing Ag},
	type = {Proceedings Paper},
	volume = {9527},
	year = {2015}
}