Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

MLA

Isac, Omri, et al. Software Verification and Formal Methods for Ml-enabled Autonomous Systems : 5th International Workshop, Fomlas 2022, and 15th International Workshop, Nsv 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings. Cham: Springer International Publishing AG, 2023.

APA

Isac, O., Ivanov, R., Katz, G., Narodytska, N., & Nenzi, L. (2023). Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings. Cham: Springer International Publishing AG.

Chicago

Isac, Omri., Radoslav Ivanov, Guy Katz, Nina Narodytska, and Laura Nenzi. Software Verification and Formal Methods for Ml-Enabled Autonomous Systems : 5th International Workshop, Fomlas 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings. Cham: Springer International Publishing AG, 2023.