Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System.
Conferences
- Overview
- Identity
- Additional Document Info
- View All