Ellis Solaiman, Ioannis Sfyrakis, Carlos Molina-Jiménez. High Level Model Checker Based Testing of Electronic Contracts. In Markus Helfert, Víctor Méndez Muñoz, Donald Ferguson, editors, Cloud Computing and Services Science - 5th International Conference, CLOSER 2015, Lisbon, Portugal, May 20-22, 2015, Revised Selected Papers. Volume 581 of Communications in Computer and Information Science, pages 193-215, Springer, 2015. [doi]
@inproceedings{SolaimanSM15a,
title = {High Level Model Checker Based Testing of Electronic Contracts},
author = {Ellis Solaiman and Ioannis Sfyrakis and Carlos Molina-Jiménez},
year = {2015},
doi = {10.1007/978-3-319-29582-4_11},
url = {http://dx.doi.org/10.1007/978-3-319-29582-4_11},
researchr = {https://researchr.org/publication/SolaimanSM15a},
cites = {0},
citedby = {0},
pages = {193-215},
booktitle = {Cloud Computing and Services Science - 5th International Conference, CLOSER 2015, Lisbon, Portugal, May 20-22, 2015, Revised Selected Papers},
editor = {Markus Helfert and Víctor Méndez Muñoz and Donald Ferguson},
volume = {581},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-3-319-29581-7},
}