@inproceedings{ICPC-2019-PetersonLD,
	acmid         = "3339115",
	author        = "Christina L. Peterson and Pierre LaBorde and Damian Dechev",
	booktitle     = "{Proceedings of the 27th International Conference on Program Comprehension}",
	doi           = "10.1109/ICPC.2019.00041",
	isbn          = "978-1-7281-1519-1",
	pages         = "220--230",
	publisher     = "{IEEE / ACM}",
	title         = "{CCSpec: a correctness condition specification tool}",
	year          = 2019,
}