@inproceedings(6229808,
 author       = "M. Chicote and J.P. Galeotti",
 year         = "2012",
 title        = "TacoPlug: An Eclipse plug-in for TACO",
 booktitle    = "Developing Tools as Plug-ins (TOPI), 2012 2nd Workshop on",
 pages        = "37--42",
 doi          = "10.1109/TOPI.2012.6229808",
)
@phdthesis(Dennis09arelational,
 author       = "G. Dennis",
 year         = "2009",
 title        = "A Relational Framework for Bounded Program Verification",
 school       = "MIT",
)
@inproceedings(DBLP:conf/icse/FriasGPA05,
 author       = "M. F. Frias and J. P. Galeotti and C. L{\'o}pez Pombo and N. Aguirre",
 year         = "2005",
 title        = "DynAlloy: upgrading alloy with actions",
 booktitle    = "27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA",
 publisher    = "ACM",
 pages        = "442--451",
 doi          = "10.1145/1062455.1062535",
)
@inproceedings(DBLP:conf/issta/GaleottiRPF10,
 author       = "J. P. Galeotti and N. Rosner and C. L{\'o}pez Pombo and M. F. Frias",
 year         = "2010",
 title        = "Analysis of invariants for efficient bounded verification",
 booktitle    = "Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010",
 publisher    = "ACM",
 pages        = "25--36",
 doi          = "10.1145/1831708.1831712",
)
@inproceedings(DBLP:conf/sefm/GouesLM11,
 author       = "C. Le Goues and K. R. M. Leino and M. Moskal",
 year         = "2011",
 title        = "The Boogie Verification Debugger (Tool Paper)",
 booktitle    = "Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings",
 series       = "LNCS",
 volume       = "7041",
 pages        = "407--414",
 doi          = "10.1007/978-3-642-24690-6\_28",
)
@book(Jackson:2006:SAL:1146359,
 author       = "D. Jackson",
 year         = "2006",
 title        = "Software Abstractions: Logic, Language, and Analysis",
 publisher    = "The MIT Press",
)