Back to Results
First PageMeta Content
Logic in computer science / Programming language semantics / Formal sciences / Formal languages / Formal methods / Denotational semantics / Semantics of programming languages / Isabelle / Mathematical proof / Theoretical computer science / Mathematics / Logic


Tobias Nipkow, Gerwin Klein Concrete Semantics with Isabelle/HOL April 8, 2015
Add to Reading List

Document Date: 2015-04-08 16:10:05

Open Document

File Size: 1,49 MB

Share Result on Facebook

City

Reading / /

Company

Security Type Systems / /

IndustryTerm

software system / theorem proving systems / surgical tool / type systems / mental tools / concrete applications / /

Organization

Technische Universität München / /

Person

Tobias Nipkow / Sascha Böhme / Sean Seefried / Alex Krauss / Peter Johnson / Jane Austen / Johannes Hölzl / Andrew Gacek / Christian Sternagel / David Sands / Andrei Popescu / Andrei Sabelfeld / Helmut Seidl / René Thiemann / Florian Haftmann / John Backes / Harry Butterworth / Peter Lammich / Yutaka Nagashima / Dan Dougherty / Carl Witty / /

Position

proof assistant / computer scientist / Generic Abstract Interpreter / Isabelle proof assistant / /

ProgrammingLanguage

C / /

Technology

operating system / /

URL

http /

SocialTag