Guy Cousineau (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Patrice Enjalbert, Guy Cousineau: Three Semantics: A Framework for Studying Program Structures and Program Logics. IFIP Congress 1980: 77-82

3 Guy Cousineau, Patrice Enjalbert: Program Equivalence and Provability. MFCS 1979: 237-245

Selection of 2 from 11 records - Guy Cousineau has 8 coauthors

5		Patrice Enjalbert, Guy Cousineau: Three Semantics: A Framework for Studying Program Structures and Program Logics. IFIP Congress 1980: 77-82
3		Guy Cousineau, Patrice Enjalbert: Program Equivalence and Provability. MFCS 1979: 237-245