Title: Logics of Programs
Subjects: Sémantique programme, Vérification programme, Congrès, Programmation (Informatique), Congresses, Logiciels, Logique temporelle, Computer programming, Logique programmation, Symbolic and mathematical Logic, Programmation logique