Search results
Lecture Notes in Computer Science > FME 2001: Formal Methods for Increasing Software Productivity > 396-418
Annals of Pure and Applied Logic > 2012 > 163 > 2 > 111-121
Annals of Pure and Applied Logic > 1999 > 101 > 1 > 95-102
Lecture Notes in Computer Science > FME 2001: Formal Methods for Increasing Software Productivity > 396-418
Annals of Pure and Applied Logic > 2012 > 163 > 2 > 111-121
Annals of Pure and Applied Logic > 1999 > 101 > 1 > 95-102