NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings

MLA

Deshmukh, Jyotirmoy V, Klaus Havelund, and Ivan Perez. Nasa Formal Methods : 14th International Symposium, Nfm 2022, Pasadena, Ca, Usa, May 24-27, 2022, Proceedings. Cham: Springer International Publishing AG, 2022.

APA

Deshmukh, J. V, Havelund, K., & Perez, I. (2022). NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings. Cham: Springer International Publishing AG.

Chicago

Deshmukh, Jyotirmoy V., Klaus Havelund, and Ivan Perez. NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings. Cham: Springer International Publishing AG, 2022.