Using Weakest Precondition for Software Process Model Reuse

Stefan Koch

Publication: Chapter in book/Conference proceedingContribution to conference proceedings

Original languageEnglish
Title of host publicationProceedings of the Fifth Americas Conference on Information Systems (AMCIS 1999), pp. 741-743, Milwaukee, WI 1999
Publication statusPublished - 1999

Cite this