Title: Dynamic Logic. New Trends and Applications
Subjects: Logic, symbolic and mathematical, Software engineering