Tobias Nipkow
7 published titles
Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings
(Contributor)
1 edition
- ISBN: 354064301X
- Springer
- 1998
- Details
Term rewriting and all that
(Contributor)
1 edition
- ISBN: 0521455200
- Cambridge University Press
- 1998
- Details
Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings
(Contributor)
1 edition
- ISBN: 3540422544
- Springer
- 2001
- Details
Isabelle/HOL : a proof assistant for higher-order logic
1 edition
- ISBN: 3540433767
- Springer
- 2002
- Details
FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings
(Contributor)
1 edition
- ISBN: 9783540372158
- Springer
- 2006
- Details
Formal logical methods for system security and correctness
(Contributor)
1 edition
- ISBN: 9781586038434
- IOS Press
- 2008
- Details
Software safety and security : tools for analysis and verification
(Contributor)
1 edition
- ISBN: 9781614990277
- IOS Press
- 2012
- Details
