ISoLA 2018: Limassol, Cyprus

Refine list

showing all ?? records

Runtime Verification from the Theory to the Industry Practice

Formal Methods in Industrial Practice - Bridging the Gap

Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions

Industrial Day

a service of  Schloss Dagstuhl - Leibniz Center for Informatics