High Level Model Checker Based Testing of Electronic Contracts.

Ellis Solaiman, Ioannis Sfyrakis, Carlos Molina-Jimnez

Browse the full CLOSER paper archive.