Publications by Iliano Cervesato

Conference

Reasoning about set comprehensions

2014 • CEUR Workshop Proceedings • 1163:27-37
Lam ESL, Cervesato I
Displaying 26 - 50 of 120