zbMath0983.68660MaRDI QIDQ2767174
Yuri Gurevich
Publication date: 28 January 2002
Mathematics Subject Classification ID
68U99: Computing methodologies and applications
68N01: General topics in the theory of software