Title: Logic and software engineering
Subjects: Congresses, Symbolic and mathematical Logic, Software engineering