SoftwareEngineeringToolDemos / FSE-2013-USMMC

A Self-Contained Model Checker for UML State Machines

Home Page:http://www.comp.nus.edu.sg/~lius87/UMLSM.html

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Thanks to Authors not found

bhanuanand28 opened this issue · comments

The readme does not thank any original authors who provided help.

Authors did not provide any help to warrant thanking them.