INESC-ID researchers awarded ACM SIGSOFT Distinguished Paper

A joint team of researchers including INESC-ID researchers Vasco Manquinho and Pedro Orvalho will receive an ACM (Association for Computing Machinery) SIGSOFT Distinguished Paper Award for their work on a new analysis engine for the popular Alloy modeling language. The…









