arXiv 2013-04-30 EN A Syntactic-Semantic Approach to Incremental Verification Bianculli, Domenico · Filieri, Antonio · Ghezzi, Carlo · Mandrioli, Dino
