Title: Advances in theory and formal methods of computing
Subjects: Formal methods (Computer science), Congresses, Computer science