Original language | English |
---|---|
Pages (from-to) | v |
Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Volume | 13466 LNCS |
State | Published - 2022 |
Event | 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022 and 15th International Workshop on Numerical Software Verification, NSV 2022 - Haifa, Israel Duration: 11 Aug 2022 → 11 Aug 2022 |
FoMLAS 2022 Preface
Omri Isac, Guy Katz, Nina Narodytska
Research output: Contribution to journal › Editorial