<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2008-11-06 09:58:32German Research Centre for Artificial Intelligence Computer science Mathematics Udo Frese Formal verification Applied mathematics |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2008-11-06 09:58:32German Research Centre for Artificial Intelligence Computer science Mathematics Udo Frese Formal verification Applied mathematics |
Add to Reading List |
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