| 000 | 00741nam a2200133Ia 4500 | ||
|---|---|---|---|
| 008 | 2212144s2020 xx 000 0 und d | ||
| 020 | _a9783030557546 | ||
| 041 | _aeng | ||
| 100 | _aRitchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou. | ||
| 245 | _aNASA Formal Methods : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings | ||
| 260 |
_aCham _bSpringer _c2020 |
||
| 650 | _aSoftware engineering. Computer organization. Computers. Artificial intelligence. Computer simulation. Software Engineering. Computer Systems Organization and Communication Networks. Theory of Computation. Artificial Intelligence. Simulation and Modeling. | ||
| 856 | _uhttps://doi.org/10.1007/978-3-030-55754-6 | ||
| 999 |
_c85117 _d85117 |
||