Comparing formal tools for system design: a judgment study

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Ferrari A; Mazzantif.; Basile D.; Ter Beek M. H.; Fantechi A.

Journal title: ICSE'20 - 42nd International Conference on Software Engineering, pp. 62–74, Seoul, Republic of Korea, 27/6/2020-19/7/2020

Journal number: 17

Journal publisher: Association for Computing Machinery

Published year: 2020

Published pages: 62-74

DOI identifier: 10.1145/3377811.3380373

ISBN: 978-1-4503-7121-6