Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Dorigatti, Michele"'
Autor:
Dorigatti, Michele, Menzani, Tito
Publikováno v:
Realidad Economica. 2023, Vol. 53 Issue 353, p105-109. 5p.
Autor:
Cavada, Roberto, Cimatti, Alessandro, Dorigatti, Michele, Griggio, Alberto, Mariotti, Alessandro, Micheli, Andrea, Mover, Sergio, Roveri, Marco, Tonetta, Stefano
Publikováno v:
Computer Aided Verification (9783319088662); 2014, p334-342, 9p
Publikováno v:
Computer Safety, Reliability & Security: 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings; 2014, p81-92, 12p
Publikováno v:
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE); 2013, p702-705, 4p