%0 Journal Article %1 journals/tosem/Jackson02 %A Jackson, Daniel %D 2002 %J ACM Trans. Softw. Eng. Methodol. %K dblp %N 2 %P 256-290 %T Alloy: a lightweight object modelling notation. %U http://dblp.uni-trier.de/db/journals/tosem/tosem11.html#Jackson02 %V 11

@article{journals/tosem/Jackson02, added-at = {2018-11-14T00:00:00.000+0100}, author = {Jackson, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/216383cfcee2888b87404131781d12194/dblp}, ee = {https://www.wikidata.org/entity/Q56534216}, interhash = {3ea5a55aac1f18fad3c2030a73b2a65b}, intrahash = {16383cfcee2888b87404131781d12194}, journal = {ACM Trans. Softw. Eng. Methodol.}, keywords = {dblp}, number = 2, pages = {256-290}, timestamp = {2018-11-15T13:41:23.000+0100}, title = {Alloy: a lightweight object modelling notation.}, url = {http://dblp.uni-trier.de/db/journals/tosem/tosem11.html#Jackson02}, volume = 11, year = 2002 }