FROM Z TO C : ILLUSTRATION OF A RIGOROUS DEYELOPMENT METHOD
D.S. Neilson
Abstract
One of the most important developments in computer science has been that of data abstraction which has enabled the specification of computer systems without regard to implementation detail and has resulted in the development of many formal specification languages for example [17], [28].
Institution
OUCL
Month
January
Number
PRG101
Pages
278
Year
1990