Back to Results
First PageMeta Content
German Research Centre for Artificial Intelligence / Computer science / Mathematics / Udo Frese / Formal verification / Applied mathematics


The Importance of Being Formal Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter Deutsches Forschungszentrum für Künstliche Intelligenz, Bremen Universität Bremen
Add to Reading List

Document Date: 2008-11-06 09:58:32

Open Document

File Size: 723,72 KB

Share Result on Facebook

City

Budapest / /

Organization

Bremen Universität Bremen The Importance / /

Person

Christoph Lüth / Holger Täubig / Dennis Walter Deutsches Forschungszentrum für Künstliche / Daniel Hausmann / /

Technology

laser / Animation / /

SocialTag