zbMath1118.68436MaRDI QIDQ5294156
Richard Banach, Susan Stepney, M. Poppleton, C. Jeske
Publication date: 24 July 2007
zbMATH Keywords
verificationrefinementatomicityretrenchmentmondex purse
Mathematics Subject Classification ID
Theory of software (68N99)
Related Items