Formal Verification of Control System Software
Pierre-Loic Garoche · 2 editions, first published 2019
Contributors
Editions
- Formal Verification of Control System Software — 2019 · hardcover · Princeton University Press · 1st Edition
- Formal Verification of Control System Software — 2019 · hardcover · Princeton University Press · 1st Edition
108 copies in libraries