%0 Report %1 jacob_08_trace %A Jacob, Jeremy %D 2008 %K 2008 _hardcopy alloy traces %T Trace specifications in Alloy %U http://alloy.mit.edu/community/files/EventTrace.pdf

@techreport{jacob_08_trace, added-at = {2009-02-11T20:14:42.000+0100}, author = {Jacob, Jeremy}, biburl = {https://www.bibsonomy.org/bibtex/2fbf407df4b69b844cdc1523ce27b191f/leonardo}, citeulike-article-id = {3996541}, institution = {University of York, England}, interhash = {6ba8bb31376c006a2f0e5f7bb54a2037}, intrahash = {fbf407df4b69b844cdc1523ce27b191f}, keywords = {2008 _hardcopy alloy traces}, month = {November}, posted-at = {2009-02-02 14:21:18}, priority = {3}, timestamp = {2009-02-11T20:14:42.000+0100}, title = {Trace specifications in Alloy}, url = {http://alloy.mit.edu/community/files/EventTrace.pdf}, year = 2008 }