Dominic Binks

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1993

1 Dominic Binks: Declarative Debugging of Abstract Data Types in Gödel. AADEBUG 1993: 188-205