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

Refine list

showing all ?? records

Volume 78, 2018

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