From Program Logics Towards Language Logics.

Matteo Cimini

Browse the full ICTAC paper archive.