Search results for: Simon Bliudze
Innovations in Systems and Software Engineering > 2018 > 14 > 2 > 117-142
Software & Systems Modeling > 2019 > 18 > 3 > 1613-1636
Journal of Logical and Algebraic Methods in Programming > 2017 > 92 > C > 19-44
Software: Practice and Experience > 47 > 11 > 1801 - 1836
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 2-29
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 134-156
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The ARTIST Project > 179-199
Formal Aspects of Computing > 2016 > 28 > 2 > 207-231
IEEE Transactions on Industrial Informatics > 2015 > 11 > 6 > 1400 - 1410
Science of Computer Programming > 2015 > 109 > Complete > 2-35
Formal Methods in System Design > 2010 > 36 > 2 > 167-194