zbMath0939.68590MaRDI QIDQ4322595
Dimiter Skordev
Publication date: 6 July 2000
Mathematics Subject Classification ID
68N99: Theory of software