Search results for: Michael Lienhardt
International Journal on Software Tools for Technology Transfer > 2019 > 21 > 6 > 691-707
Science of Computer Programming > 2017 > 147 > C > 27-53
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 349-390
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Regular Contributions > 167-181
Software & Systems Modeling > 2016 > 15 > 4 > 1013-1048