8th SOFL+MSVL 2018: Gold Coast, QLD, Australia

Programming and Testing

Verification and Validation

Semantics

Blockchain

a service of Schloss Dagstuhl - Leibniz Center for Informatics