Refinement and Composition of Transition-based Rely-Guarantee Specifications with Auxiliary Variables

Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen, K.V. Nori (Editor), C.E. Veni Madhavan (Editor)

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publication10'th Conference on Foundations for Software Technology and Theoretical Computer Science
    PublisherSpringer Verlag
    Publication date1990
    Pages332-348
    Publication statusPublished - 1990
    Event10th Conference on Foundations for Software Technology and Theoretical Computer Science - Bangalore, India
    Duration: 17 Dec 199019 Dec 1990
    Conference number: 10

    Conference

    Conference10th Conference on Foundations for Software Technology and Theoretical Computer Science
    Number10
    CountryIndia
    CityBangalore
    Period17/12/199019/12/1990

    Cite this