BERG.H.K

FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFICATION - New Jersey Prentice Hall 1982 - 24X16

621.3819642 B493