Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou. <br/><br/>
NASA Formal Methods : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings 

 - Cham  Springer  2020 
<br/><br/><label>ISBN: </label>9783030557546 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering. Computer organization. Computers. Artificial intelligence. Computer simulation. Software Engineering. Computer Systems Organization and Communication Networks. Theory of Computation. Artificial Intelligence. Simulation and Modeling.