Joint Research "JNuke"

Artho, Cyrille (Forscher*in)
Biere, Armin (Projektleiter*in)

Institut für Formale Modelle und Verifikation

Projekt: Anderes › Sonstiges Projekt

Status	Abgeschlossen
Tatsächliches Beginn-/Enddatum	01.03.2010 → 31.03.2013

Wissenschaftszweige

102 Informatik
101 Mathematik
102011 Formale Sprachen
102031 Theoretische Informatik
603109 Logik
102001 Artificial Intelligence
102022 Softwareentwicklung
202006 Computer Hardware