Back to Results
First PageMeta Content
Automated theorem proving / Formal methods / Parser generators / Programming language implementation / Nqthm / LR parser / Compiler / Parsing / Formal language / Software / Computing / Compiler construction


Institut fur Informatik und Praktische Mathematik der Christian-Albrechts-Universitat zu Kiel Olshausenstr. 40 DKiel Contributions
Add to Reading List

Document Date: 2011-04-20 09:47:07

Open Document

File Size: 1,23 MB

Share Result on Facebook

City

Austin / /

Company

ESPRIT / Oxford University Computing Laboratory / /

Country

United Kingdom / /

/

IndustryTerm

software malaise / correct systems / veri cation systems / veri cation technology / /

Organization

Commission of the European Communities / CONTENTS Chapter / Oxford University / FSA / /

Person

James H. Fetzer / Hans Langmaack Korreferent / /

Position

General / ProCoS Secretary / Programming Research Group / software engineer / /

Technology

veri cation technology / html / /

URL

http /

SocialTag