-
Notifications
You must be signed in to change notification settings - Fork 14
Expressivity
kbak edited this page Feb 28, 2012
·
2 revisions
TODO: compare with FOL, Prolog, Alloy, UML, OCL
Generative Software Development Lab
University of Waterloo
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1