search

gsdlab / clafer

Clafer is a lightweight modeling language
http://clafer.org
MIT License
45 stars 13 forks source link

Behavioral #56

Closed mantkiew closed 7 years ago

mantkiew commented 10 years ago

Behavioral Clafer