| 2006 |
|---|
| 4 | EE | Anthony Karel Seda,
Ted Hurley,
Michel P. Schellekens,
Mícheál Mac an Airchinnigh,
Glenn Strong:
Preface.
Electr. Notes Theor. Comput. Sci. 161: 1-2 (2006) |
| 2002 |
|---|
| 3 | EE | Malcolm Dowse,
Glenn Strong,
Andrew Butterfield:
Proving Make Correct: I/O Proofs in Haskell and Clean.
IFL 2002: 68-83 |
| 2001 |
|---|
| 2 | | Andrew Butterfield,
Glenn Strong,
Claus Pahl:
5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland, 16-17 July 2001
BCS 2001 |
| 1 | EE | Andrew Butterfield,
Glenn Strong:
Proving Correctness of Programs with IO - A Paradigm Comparison.
IFL 2001: 72-87 |
