Alloy: A New Technology for Software Modelling.

Daniel Jackson Alloy: A New Technology for Software Modelling. 20 2002 conf/tacas/2002 TACAS http://dx.doi.org/10.1007/3-540-46002-0_2 db/conf/tacas/tacas2002.html#Jackson02