Program checking with less hassle (2014)

by J Tschannen, C A Furia, M Nordio, B Meyer
Venue:In VSTTE 2013, volume 8164 of LNCS