Search results for: Domenico Bianculli
Formal Methods in System Design > 2019 > 55 > 1 > 72-72
Formal Methods in System Design > 2019 > 54 > 3 > 279-335
Journal of Systems and Software > 2018 > 137 > C > 766-783
IEEE Software > 2017 > 34 > 5 > 72 - 75
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Regular Contributions > 26-40
Lecture Notes in Computer Science > Advances in Software Engineering > SOA and Web Services > 131-160
Lecture Notes in Computer Science > International Symposium on Fundamentals of Software Engineering > 388-395
The Journal of Systems & Software > 2015 > 107 > Complete > 110-126
Science of Computer Programming > 2015 > 97 > Part 1 > 47-54