A Modal Specification Theory for Components with Data

Sebastian S. Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Mathias Nyman, Andrzej Wasowski

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationFormal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
    Volume7253
    PublisherSpringer
    Publication date2012
    Pages61-78
    DOIs
    Publication statusPublished - 2012
    SeriesLecture Notes in Computer Science
    Volume7253
    ISSN0302-9743

    Cite this