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

Programming and Testing

Verification and Validation

Semantics

Blockchain

maintained by Schloss Dagstuhl LZI, founded at University of Trier