Projekt

HasCASL

HasCASL

  • Laufzeit:

Kombination von algebraischer Spezifikation und funktionaler Programmierung als Umgebung für formale Softwareentwicklung.

Fördergeber

DFG

KR 1191/7-2

DFG

Publikationen zum Projekt

In: Theoretical Computer Science 410 12-13 Seiten 1217-1260 Elsevier 2009.

Zur Publikation

In: Logical Methods in Computer Science (LMCS) 4 4:17 Seiten 1-27 2008.

Zur Publikation

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence