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]
Abstract is missing.