DOI10.1007/s001650050056zbMath0953.68026OpenAlexW2033567995MaRDI QIDQ1977124
M. Poppleton, Richard Banach
Publication date: 9 May 2000 Published in: Formal Aspects of Computing (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/s001650050056
zbMATH Keywords
B-Methodsharp retrenchment
Mathematics Subject Classification ID
General topics in the theory of software (68N01)