David Basin
4 published titles
Labelled deduction
(Contributor)
1 edition
- ISBN: 0792362373
- Kluwer Academic Publishers
- 2000
- Details
Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings
(Contributor)
1 edition
- ISBN: 3540406646
- Springer
- 2003
- Details
Automated reasoning : second international joint conference, IJCAR 2004
(Contributor)
1 edition
- ISBN: 3540223452
- Springer
- 2004
- Details
Principles of security and trust : second international conference, POST 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24,
(Contributor)
1 edition
- ISBN: 9783642368295
- Springer
- 2013
- Details
