%0 Journal Article %1 bianculli2015syntacticsemantic %A Bianculli, Domenico %A Filieri, Antonio %A Ghezzi, Carlo %A Mandrioli, Dino %D 2015 %I Elsevier %J Science of computer programming %K %N 1 %P 47-54 %R 10.1016/j.scico.2013.11.026 %T Syntactic-semantic incrementality for agile verification %V 97

@article{bianculli2015syntacticsemantic, added-at = {2023-08-31T14:52:45.000+0200}, affiliation = {Bianculli, D (Reprint Author), Univ Luxembourg, SnT Ctr, 4 Rue Alphonse Weicker, L-2721 Luxembourg, Luxembourg. Bianculli, Domenico, Univ Luxembourg, SnT Ctr, L-2721 Luxembourg, Luxembourg. Filieri, Antonio, Univ Stuttgart, Inst Software Technol, D-70569 Stuttgart, Germany. Ghezzi, Carlo; Mandrioli, Dino, Politecn Milan, DEEPSE Grp, Dipartimento Elettron Informaz & Bioingn, I-20133 Milan, Italy.}, author = {Bianculli, Domenico and Filieri, Antonio and Ghezzi, Carlo and Mandrioli, Dino}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2825d31229d0446553ceead9e28d411b9/puma-wartung}, doi = {10.1016/j.scico.2013.11.026}, interhash = {1455ce7f1d917ec252311e36b9f96b9f}, intrahash = {825d31229d0446553ceead9e28d411b9}, issn = {{1872-7964} and {0167-6423}}, journal = {Science of computer programming}, keywords = {}, language = {eng}, number = 1, orcid-numbers = {Filieri, Antonio/0000-0001-9646-646X}, pages = {47-54}, publisher = {Elsevier}, research-areas = {Computer Science}, timestamp = {2023-08-31T12:52:45.000+0200}, title = {Syntactic-semantic incrementality for agile verification}, unique-id = {ISI:000345725100009}, volume = 97, year = 2015 }