@inproceedings{ dblp3806120,
  title = {Alloy: A Logical Modelling Language},
  author = {Daniel Jackson},
  author_short = {Jackson, D.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2003},
  key = {dblp3806120},
  id = {dblp3806120},
  biburl = {http://www.dblp.org/rec/bibtex/conf/zum/Jackson03},
  url = {http://dx.doi.org/10.1007/3-540-44880-2_1},
  conference = {ZB},
  pages = {1},
  text = {ZB 2003:1},
  booktitle = {Proceedings of Formal Specification and Development in Z and B (ZB)}
}

{"_id":{"_str":"534217f8ecd21cdc0700020b"},"__v":2,"authorIDs":["5456dee58b01c8193000000f"],"author_short":["Jackson, D."],"bibbaseid":"jackson-alloyalogicalmodellinglanguage-2003","bibdata":{"title":"Alloy: A Logical Modelling Language","author":["Daniel Jackson"],"author_short":["Jackson, D."],"bibtype":"inproceedings","type":"inproceedings","year":"2003","key":"dblp3806120","id":"dblp3806120","biburl":"http://www.dblp.org/rec/bibtex/conf/zum/Jackson03","url":"http://dx.doi.org/10.1007/3-540-44880-2_1","conference":"ZB","pages":"1","text":"ZB 2003:1","booktitle":"Proceedings of Formal Specification and Development in Z and B (ZB)","bibtex":"@inproceedings{ dblp3806120,\n title = {Alloy: A Logical Modelling Language},\n author = {Daniel Jackson},\n author_short = {Jackson, D.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2003},\n key = {dblp3806120},\n id = {dblp3806120},\n biburl = {http://www.dblp.org/rec/bibtex/conf/zum/Jackson03},\n url = {http://dx.doi.org/10.1007/3-540-44880-2_1},\n conference = {ZB},\n pages = {1},\n text = {ZB 2003:1},\n booktitle = {Proceedings of Formal Specification and Development in Z and B (ZB)}\n}","bibbaseid":"jackson-alloyalogicalmodellinglanguage-2003","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/3-540-44880-2_1"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/zum/Jackson03","downloads":0,"keywords":[],"search_terms":["alloy","logical","modelling","language","jackson"],"title":"Alloy: A Logical Modelling Language","year":2003,"dataSources":["JcouMkXCofca8vivv"]}