The use of formal program design methods
โ
Peter Smith; Barrie Thompson
๐
Article
๐
1988
๐
Elsevier Science
โ 900 KB