DMCA

Automatic verification of advanced object-oriented features: The AutoProof approach (2012)

by Julian Tschannen , Carlo A. Furia , Martin Nordio
Venue:In LASER Tools for Practical Software Verification, volume 7682 of LNCS
Citations:4 - 4 self