Furio Honsell
2 published titles
A framework for defining logics
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
Foundations of software science and computation structures : 4th international conference, FOSSACS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001,
(Contributor)
1 edition
- ISBN: 3540418644
- Springer
- 2001
- Details
