Iliano Cervesato 1EditorPersonId : 972450 Employer institution: Carnegie Mellon University [Pittsburgh]
Kaustuv Chaudhuri 2AuthorPersonId : 2094 IdHAL : kaustuvIdRef : 253132088
Computer Science [cs] / Logic in Computer Science [cs.LO]
X | CNRS | INRIA | LIX | X-LIX | X-DEP-INFO | INRIA2 | UNIV-PARIS-SACLAY | GS-COMPUTER-SCIENCE