9783031212239 - software verification and formal methods for ml-enabled autonomous systems: 5th international workshop, fomlas 2022, and 15th international workshop, ... - august 1, and august 11, 2022, proceedings von guy katz (1 Ergebnisse)