Computer Aided Verification

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Computer Aided Verification
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen


Filter:
Date Issued:  [2020 TO 2023]
Author:  Bardin, Sébastien

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Girol, Guillaume ; Farinier, Benjamin ; Bardin, Sébastien Not All Bugs Are Created Equal, But Robust Reachability Can Tell the DifferenceKonferenzbeitrag Inproceedings 2021