NASA Formal Methods

Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez

NASA Formal Methods - Springer Springer 2022

9783031067730

EBOOK