Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Pasquale Scarmozzino"'
Autor:
Livia Lestingi, Cristian Sbrolli, Pasquale Scarmozzino, Giorgio Romeo, Marcello M. Bersani, Matteo Rossi
Publikováno v:
Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering.