Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, ... 11392
Descubre las innovaciones en formalismo orientado a objetos y verificación de software, con análisis detallados de modelos y métodos presentados en el octavo taller SOFL+MSVL 2018.