%0 Conference Paper %1 conf/icse/0001MBBF20 %A Ferrari, Alessio %A Mazzanti, Franco %A Basile, Davide %A ter Beek, Maurice H. %A Fantechi, Alessandro %B ICSE %D 2020 %E Rothermel, Gregg %E Bae, Doo-Hwan %I ACM %K dblp %P 62-74 %T Comparing formal tools for system design: a judgment study. %U http://dblp.uni-trier.de/db/conf/icse/icse2020.html#0001MBBF20 %@ 978-1-4503-7121-6

@inproceedings{conf/icse/0001MBBF20, added-at = {2022-04-09T00:00:00.000+0200}, author = {Ferrari, Alessio and Mazzanti, Franco and Basile, Davide and ter Beek, Maurice H. and Fantechi, Alessandro}, biburl = {https://www.bibsonomy.org/bibtex/220e163b068629e5c95c718deb9dafd4e/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2020}, editor = {Rothermel, Gregg and Bae, Doo-Hwan}, ee = {https://ieeexplore.ieee.org/document/9284073}, interhash = {2bcb7118ca1513ad0fb486ee9ef90ea3}, intrahash = {20e163b068629e5c95c718deb9dafd4e}, isbn = {978-1-4503-7121-6}, keywords = {dblp}, pages = {62-74}, publisher = {ACM}, timestamp = {2024-04-10T00:11:58.000+0200}, title = {Comparing formal tools for system design: a judgment study.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2020.html#0001MBBF20}, year = 2020 }