Links und Funktionen
Sprachumschaltung

Navigationspfad
You are here: Home / Publikationen / What Do Program Logics and Type Systems Have in Common?


Inhaltsbereich

Martin Hofmann (2004)

What Do Program Logics and Type Systems Have in Common?

In: Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings, ed. by Josep D\'ıaz and Juhani Karhumäki and Arto Lepistö and Donald Sannella, vol. 3142, pp. 4-7, Springer. Lecture Notes in Computer Science (ISBN: 3-540-22849-7).

Document Actions


Funktionsleiste