Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez <br/><br/>
NASA Formal Methods 

 -  Springer  Springer  2021 
<br/><br/><label>ISBN: </label>9783030763848 
<br/><br/><label>Source: </label>EBOOK