Title: Theory and formal methods
Subjects: Computer programming, Congresses, Formal methods (Computer science), Computer science