Author Results for Nipkow Tobias 1958-

Nipkow,Tobias,
Nipkow,Tobias
International Symposium of Formal Methods Europe,Hamilton, Ont.)
Misra,Jayadev
(Emil)
see all »
(Hendrik Pieter)
Baader,Franz
Barendregt,H. P.
Franz Baader and Tobias Nipkow
Goré,Rajeev

2
Term rewriting and all that

Cover is for reference only
Main Authors: Baader Franz.
Group Author: Nipkow Tobias, 1958-
Published: Cambridge University Press,
Publication Dates: 1999.
Call Number: TP301/B111
Book
Save to List
Saved in:
3
Software safety and security tools for analysis and verification

Cover is for reference only
Corporate Authors: NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 Bayrischzell, Germany
Group Author: Nipkow Tobias 1958-; Grumberg Orna; Hauptmann Benedikt
Published: Ios Press published in cooperation with NATO Emerging Security Challenges Division,
Publication Dates: 2012.
Call Number: TP309-532/N864/2011
Book
Save to List
Saved in:
4
Isabelle/HOL a proof assistant for higher-order logic

Cover is for reference only
Main Authors: Nipkow Tobias 1958-
Group Author: Paulson Lawrence C; Wenzel Markus
Published: Springer,
Publication Dates: c2002.
Call Number: TP301/N719
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —