Contribution to Goodenough s and Gerhart s Theory of Software Testing and Verification: Relation between Strong Compiler Test and Compiler Implementation Verification

Б3.54.

Langmaack H..

Contribution to Goodenough s and Gerhart s Theory of Software Testing and Verification: Relation between Strong Compiler Test and Compiler Implementation Verification: Springer// Lecture Notes in Computer Science-1997.-Vol. 1337.-P.321-335.
Bibliogr.: p.334-335