BibTeX Export

@misc{Authenticus:P-00Q-J4D,
	title = {{Symbolic Manipulation of Code Properties}},
	author = {S Konstantinidis and C Meijer and N Moreira and R Reis},
	journal = {CoRR},
	type = {Unpublished},
	volume = {abs/1504.04715},
	year = {2015}
}