Title: Formal methods in databases and software engineering
Subjects: Congresses, Database management, Formal methods (Computer science), Software engineering, System design