Original language | English |
---|---|

Place of Publication | Melbourne Vic Australia |

Publisher | Monash University Publishing |

Number of pages | 18 |

Publication status | Published - 2005 |

### Cite this

Crossley, J. N. (2005).

*What is the Difference Between Proofs and Programs?*Melbourne Vic Australia: Monash University Publishing.@book{e741efbf087544a9a3737418cca3174a,

title = "What is the Difference Between Proofs and Programs?",

author = "Crossley, {John N.}",

year = "2005",

language = "English",

publisher = "Monash University Publishing",

}

Crossley, JN 2005,

*What is the Difference Between Proofs and Programs?*Monash University Publishing, Melbourne Vic Australia.**What is the Difference Between Proofs and Programs?** / Crossley, John N.

Research output: Book/Report › Commissioned Report › Research

TY - BOOK

T1 - What is the Difference Between Proofs and Programs?

AU - Crossley, John N.

PY - 2005

Y1 - 2005

M3 - Commissioned Report

BT - What is the Difference Between Proofs and Programs?

PB - Monash University Publishing

CY - Melbourne Vic Australia

ER -

Crossley JN. What is the Difference Between Proofs and Programs? Melbourne Vic Australia: Monash University Publishing, 2005. 18 p.