Title: Logics of Programs and Their Applications
Subjects: Congrès, Structure logique, Programmation (Informatique), Congresses, Logiciels, Programmierung, Computer programming, Logik, Programmierlogik