Search results for: Jules Desharnais
Innovations in Systems and Software Engineering > 2017 > 13 > 2-3 > 219-239
Science of Computer Programming > 2017 > 138 > C > 26-48
Science of Computer Programming > 2016 > 131 > C > 76-93
Lecture Notes in Computer Science > Relational Methods in Computer Science > Contributed Papers > 188-199
IFIP — The International Federation for Information Processing > Exploring New Frontiers of Theoretical Informatics > Track (2) on Logic, Semantics, Specification, and Verification > 647-660
Lecture Notes in Computer Science > Mathematics of Program Construction > Contributed Papers > 110-128
Lecture Notes in Computer Science > Relational and Kleene-Algebraic Methods in Computer Science > Contributed Papers > 74-85
Lecture Notes in Computer Science > Relational and Kleene-Algebraic Methods in Computer Science > Invited Papers > 8-20
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 304-328
Studies in Fuzziness and Soft Computing > Relational Methods for Computer Science Applications > Relations in Programming > 3-14
Lecture Notes in Computer Science > Relational Methods in Computer Science > Contributed Papers > 60-72
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 487-490