Publication:4227021
From MaRDI portal
zbMath0923.68030MaRDI QIDQ4227021
Peter van Roy, Seif Haridi, Gert Smolka
Publication date: 25 October 1999
68N15: Theory of programming languages
Related Items
Uses Software
zbMath0923.68030MaRDI QIDQ4227021
Peter van Roy, Seif Haridi, Gert Smolka
Publication date: 25 October 1999
68N15: Theory of programming languages
Related Items
Uses Software