Search results for: J. W. Sanders
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2004 > Verification > 310-324
Lecture Notes in Computer Science > Software-Intensive Systems and New Computing Paradigms > II Theory and Formal Methods > 162-178
Lecture Notes in Computer Science > Mathematics of Program Construction > Contributed Papers > 115-139
Lecture Notes in Computer Science > ESOP 86 > 187-196
Lecture Notes in Computer Science > CONCUR 2001 — Concurrency Theory > Logic and Compositionality > 487-501
Lecture Notes in Computer Science > Software-Intensive Systems and New Computing Paradigms > II Theory and Formal Methods > 132-138
Formal Aspects of Computing > 2014 > 26 > 4 > 623-676
Formal Aspects of Computing > 2012 > 24 > 1 > 45-65