Результаты поиска - "deductive verification"

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

Предметы: “...deductive verification...”
DOAB: download the publication
DOAB: description of the publication