Fan, Chuchu books & textbook
Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications (ACM Books)
ACM Books /2024-10-07 Paperback / 184 Pages
Software Verification (Programming and Software Engineering)
Bloem, Roderick Dimitrova, Rayna Fan, Chuchu Sharygina, Natasha
Springer /2022-02-22 Paperback / 212 Pages
isbn-10: 3030955605 / isbn-13: 9783030955601
