Publication:2755071
From MaRDI portal
zbMath0988.68023MaRDI QIDQ2755071
Publication date: 7 January 2002
Full work available at URL: http://www.jucs.org/jucs_7_8/bagatelle_in_c_arranged
Related Items
Extended Static Checking by Calculation Using the Pointfree Transform, Transformation of structure-shy programs with application to XPath queries and strategic functions