Verige: verification with invariant generation engine. - Nicolas Latorre; Francesco Alberti; Natasha Sharygina (SPIN, 2014)

SODA: the stack overflow dataset almanac. - Nicolas Latorre; Roberto Minelli; Andrea Mocci; Luca Ponzanelli; Michele Lanza 001 (MUD@ICSME, 2015)