Edith Deak. The Transformational Approach to the Development and Verification of Programs in a very High Level Language. PhD thesis, New York University, USA, 1980.
No references recorded for this publication.
No citations of this publication recorded.