Stephen J. Mellor. The Gap between Specification and Synthesis. In César Benavente-Peces, Joaquim Filipe, editors, PECCS 2013 - Proceedings of the 3rd International Conference on Pervasive Embedded Computing and Communication Systems, Barcelona, Spain, 19-21 February, 2013. SciTePress, 2013.
@inproceedings{Mellor13-0,
title = {The Gap between Specification and Synthesis},
author = {Stephen J. Mellor},
year = {2013},
researchr = {https://researchr.org/publication/Mellor13-0},
cites = {0},
citedby = {0},
booktitle = {PECCS 2013 - Proceedings of the 3rd International Conference on Pervasive Embedded Computing and Communication Systems, Barcelona, Spain, 19-21 February, 2013},
editor = {César Benavente-Peces and Joaquim Filipe},
publisher = {SciTePress},
isbn = {978-989-8565-43-3},
}