Functional algorithms, verified! von Nipkow, Tobias 1958-, Blanchette, Jasmin

Volltext öffnen

Concrete semantics with Isabelle/HOL von Nipkow, Tobias 1958-, Klein, Gerwin 1975-

Volltext öffnen

Isabelle, HOL a proof assistant for higher-order logic von Nipkow, Tobias 1958-, Paulson, Lawrence C., Wenzel, Markus

Higher-order rewrite systems and their confluence von Mayr, Richard, Nipkow, Tobias 1958-

Formal verification of data type refinement theory and practice von Nipkow, Tobias 1958-

Non-deterministic data types models and implementations von Nipkow, Tobias 1958-

Isabelle, HOL a proof assistant for higher-order logic von Nipkow, Tobias 1958-, Paulson, Lawrence C., Wenzel, Markus

Volltext öffnen

Term rewriting and all that von Baader, Franz 1959-, Nipkow, Tobias 1958-

Higher order rewrite systems and their confluence von Mayr, Richard, Nipkow, Tobias 1958-

Ordered rewriting and confluence von Martin, Ursula, Nipkow, Tobias 1958-

Term rewriting and all that von Baader, Franz 1959-, Nipkow, Tobias 1958-

Term rewriting and all that von Baader, Franz 1959-, Nipkow, Tobias 1958-

Inhaltsverzeichnis

Type classes and overloading resolution via order-sorted unification von Nipkow, Tobias 1958-, Snelting, Gregor

Proof transformations for equational theories von Nipkow, Tobias 1958-

Behavioural implementation concepts for nondeterministic data types von Nipkow, Tobias 1958-

Software safety and security : tools for analysis and verification /

Weitere Verfasser: “… Nipkow, Tobias, 1958- …”
Volltext öffnen

Formal logical methods for system security and correctness /

Weitere Verfasser:
Volltext öffnen Volltext öffnen