Program verification using Ada
McGettrick, Andrew D.,1944-
Cambridge Cambridge University Press
1982
Bibliography: p335-339. - Includes index
Computer programs