Cover Image
Read Now

1
Published 2022
Springer Nature Switzerland
Table of Contents: “... and Optimization -- Modelling -- Database systems -- Applications -- DETECT Workshop: modeling, verification...”