APA Style
Isac, Omri, Ivanov, Radoslav, Katz, Guy, Narodytska, Nina, Nenzi, Laura. (2022).
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 (1).
Switzerland:
Springer Cham.
Chicago Style
Isac, Omri, Ivanov, Radoslav, Katz, Guy, Narodytska, Nina, Nenzi, Laura.
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.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.
MLA Style
Isac, Omri, Ivanov, Radoslav, Katz, Guy, Narodytska, Nina, Nenzi, Laura.
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.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.
Turabian Style
Isac, Omri, Ivanov, Radoslav, Katz, Guy, Narodytska, Nina, Nenzi, Laura.
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.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.