Chuchu Fan

Identifiers

Open LibraryOL10156272A

Books by Chuchu Fan

Total count: 3

Software Verification13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers

Springer International Publishing AG2022-01-01
Formal Methods for Safe AutonomyData-Driven Verification, Synthesis, and Applications

Association for Computing Machinery2024-01-01
Formal Methods for Safe Autonomy - Data-Driven Verification, Synthesis, and Applications

Wiley & Sons, Limited, John2024-01-01