Srdan Krstic. Quantitative properties of software systems: specification, verification, and synthesis. In Pankaj Jalote, Lionel C. Briand, André van der Hoek, editors, 36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014. pages 674-677, ACM, 2014. [doi]
@inproceedings{Krstic14,
title = {Quantitative properties of software systems: specification, verification, and synthesis},
author = {Srdan Krstic},
year = {2014},
doi = {10.1145/2591062.2591093},
url = {http://doi.acm.org/10.1145/2591062.2591093},
researchr = {https://researchr.org/publication/Krstic14},
cites = {0},
citedby = {0},
pages = {674-677},
booktitle = {36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014},
editor = {Pankaj Jalote and Lionel C. Briand and André van der Hoek},
publisher = {ACM},
isbn = {978-1-4503-2768-8},
}