Haiyang Sun

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Walter Binder, Alex Villazón, Haiyang Sun, 2018, ISoLA.