-
1
المؤلفون: Ferrari A., Basile D., Mazzanti F., Fantechi A., Gnesi S., Piattino A., Trentini D.
المصدر: Project report, ASTRail, Deliverable D4.2, 2018
مصطلحات موضوعية: formal methods diversity, formal methods, empirical formal methods, multiple formal methods, trial report
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d3e3092f87f715f007ae27b74a0db577
http://www.cnr.it/prodotto/i/423096