Author

Chuchu Fan

2 books found

Cover of Formal Methods for Safe Autonomy

Formal Methods for Safe Autonomy

Chuchu Fan · First published 2024

Cover of Software Verification

Software Verification

Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina · First published 2022