Formal Verification of Control System Software

Pierre-Loic Garoche · 2 editions, first published 2019

Formal Verification of Control System Software cover

Contributors

Editions

108 copies in libraries