Search results for: Paul Gastin
Fundamenta Informaticae > 2021 > Vol. 180, nr 4 > 333--350
Lecture Notes in Computer Science > FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 275-286
Lecture Notes in Computer Science > FME 2001: Formal Methods for Increasing Software Productivity > 119-134
Lecture Notes in Computer Science > FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 290-302
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Verification > 55-69
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2003 > Contributed Papers > 439-448
Lecture Notes in Computer Science > FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers – Track B > 321-332