Electronic Communication of the European Association of Software Science and Technology, Volume 82

Refine list

showing all ?? records

Volume 82, 2022

11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium ,Preface Articles
a service of  Schloss Dagstuhl - Leibniz Center for Informatics