مرور بر اساس تاریخ انتشار Abate, Alessandro, ; editor ;

Showing results 1 to 2 of 2
PreviewIssue DateTitleContributor(s)
9783319657653.pdf.jpg2017Formal Modeling and Analysis of Timed Systems :FORMATS (Conference) ; (15th : ; 2017 : ; Berlin, Germany) ;; Abate, Alessandro, ; editor ;; Geeraerts, Gilles, ; editor ;
9783319635019.pdf.jpg2017Numerical software verification :NSV (Workshop) ; (10th : ; 2017 : ; Heidelberg, Germany) ;; Abate, Alessandro, ; editor ;; Boldo, Sylvie, ; editor ;
Showing results 1 to 2 of 2