| 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 |
All Science Journal Classification (ASJC) codes
- Theoretical Computer Science
- General Computer Science