Program Verification Fundamental Issues in Computer Science Colburn, Timothy T.R. Innbundet / 1993 / Engelsk
Program Verification Fundamental Issues in Computer Science Colburn, Timothy T.R. Heftet / 2012 / Engelsk
