de Roever, Willem-Paul Engelhardt, Kai
Data refinement model-oriented proof methods and their comparison - Cambridge Cambridge University Press 1998. - xi, 423 p. - Cambridge tracts in theoretical computer science; 47 .
0521641705
Computer simulation.
Data structures (Computer science)
Computer programs
Verification.
681.3 DER
Data refinement model-oriented proof methods and their comparison - Cambridge Cambridge University Press 1998. - xi, 423 p. - Cambridge tracts in theoretical computer science; 47 .
0521641705
Computer simulation.
Data structures (Computer science)
Computer programs
Verification.
681.3 DER