Developing the industrial-strength tools for modeling, testing and verification: A formal-methods perspective
The invited talk at FCAS2024 and SFPVV2024
Geguang Pu (蒲戈光)
Professor and Execution Dean of Software Engineering Institute, East China Normal University.
- Shanghai, China
- East China Normal University
- Google Scholar