Back to Results
First PageMeta Content
Model theory / Functions and mappings / Function / Structure / Axiom / Interpretation / First-order logic / Mathematics / Mathematical logic / Logic


Towards Complete Reasoning about Axiomatic Specifications Swen Jacobs and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland
Add to Reading List

Document Date: 2010-11-10 10:57:45

Open Document

File Size: 213,51 KB

Share Result on Facebook

Company

E T C LE LT LC / CNF / /

/

IndustryTerm

abstract algorithm / e.g. tools / software verification / /

Organization

Ecole Polytechnique F´ed´erale de Lausanne / /

Person

Viktor Kuncak / Swen Jacobs / Viktor Kuncak Algebraic / /

ProgrammingLanguage

Scala / /

SocialTag