ACM - Normas
Gerardo Schneider
John J. Camilleri
Mohammad Reza Haghshenas
Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC ’18
CLAN: A Tool for Contract Analysis and Conflict Discovery
Accurate unlexicalized parsing
Uppaal in a nutshell
JURIX 2005: The Eighteenth Annual Conference, p
formal/2015-05-07
Paphos, Cyprus