Search Results - Todelar~

Refine Results
  1. 1041
  2. 1042
  3. 1043
  4. 1044
  5. 1045
  6. 1046
  7. 1047
  8. 1048
  9. 1049
  10. 1050
  11. 1051
  12. 1052
  13. 1053

    Specification and verification of object-oriented software components by Roth, Andreas

    Published 2006
    Subjects: “…modular proofs…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  14. 1054
  15. 1055
  16. 1056
  17. 1057
  18. 1058
  19. 1059
  20. 1060