-
1
Verification of object-oriented software the KeY approach /
Published 2007Subjects: “…oriented methods (Computer science) fast (OCoLC)fst01042803.…”
Electronic eBook -
2
Verification of object-oriented software the KeY approach /
Published 2007Subjects: “…oriented methods (Computer science) fast (OCoLC)fst01042803.…”
Full Text (via Springer)
Electronic eBook