John Hatcliff
2 published titles
Partial evaluation : practice and theory : DIKU 1998 International Summer School, Copenhagen, Denmark, 1998
(Contributor)
1 edition
- ISBN: 3540667105
- Springer
- 1999
- Details
Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2
(Contributor)
1 edition
- ISBN: 3540008985
- Springer
- 2003
- Details
