Comparing Formal Tools for System Design: a Judgment Study.
Saved in:
| Title: | Comparing Formal Tools for System Design: a Judgment Study. |
|---|---|
| Authors: | Ferrari, Alessio1, alessio.ferrari@isti.cnr.it, Mazzanti, Franco1, franco.mazzanti@isti.cnr.it, Basile, Davide1, davide.basile@isti.cnr.it, ter Beek, Maurice H.1, maurice.terbeek@isti.cnr.it, Fantechi, Alessandro2, alessandro.fantechi@unifi.it |
| Source: | ICSE: International Conference on Software Engineering; 6/17/2020, p62-74, 13p |
| Database: | Applied Science & Technology Source |
| DOI: | 10.1145/3377811.3380373 |
|---|
