Krzysztof R. Apt

New trends in constraints

The Logic Programming Paradigm

Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Constraint logic programming using ECLiPSe

Logic Programming Languages

Logics and Models of Concurrent Systems

Edsger Wybe Dijkstra

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge

Lectures in Game Theory for Computer Scientists

Recent Advances in Constraints

Programmverifikation