Title: Theory and Formal Methods of Computing 94
Subjects: Formal methods (Computer science), Congresses, Computer science