zbMath0944.68163MaRDI QIDQ4945210
Mark Staples
Publication date: 23 March 2000
zbMATH Keywords
program refinement language
Mathematics Subject Classification ID
Related Items
Uses Software