Special issue: Proceedings of the international summer school and workshop on Formal models of programming and their applications, Beijing, China, September 17--20, 1997

From MaRDI portal
Publication:1273065