- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| j2 |      | Anthony Karel Seda, Menouer Boubekeur, Ted Hurley, Mícheál Mac an Airchinnigh, Michel P. Schellekens, Glenn Strong: Preface. Electr. Notes Theor. Comput. Sci. 225: 1-2 (2009) |
| 2006 | ||
| j1 | | 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 | ||
| c2 | | Malcolm Dowse, Glenn Strong, Andrew Butterfield: Proving Make Correct: I/O Proofs in Haskell and Clean. IFL 2002: 68-83 |
| 2001 | ||
| c1 | | Andrew Butterfield, Glenn Strong: Proving Correctness of Programs with IO - A Paradigm Comparison. IFL 2001: 72-87 |
| e1 |  | Andrew Butterfield, Glenn Strong, Claus Pahl (Eds.): 5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland, 16-17 July 2001. Workshops in Computing, BCS 2001 |
| 1 | Mícheál Mac an Airchinnigh | |
| 2 | Menouer Boubekeur | |
| 3 | Andrew Butterfield | |
| 4 | Malcolm Dowse | |
| 5 | Ted Hurley | |
| 6 | Claus Pahl | |
| 7 | Michel P. Schellekens | |
| 8 | Anthony Karel Seda |
Colors in the list of coauthors
Last update Wed May 22 15:30:28 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page