Michael Jackson's Frame Problems

Dines Bjørner, Solulemane Koussoube, Roger Noussi, Georgui Satchok

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

    Original languageEnglish
    Title of host publicationICFEM'97: Intl. Conf. on Formal Engineering Methods
    Place of PublicationLos Alamitos, Calif., USA
    PublisherIEEE CS Press
    Publication date1997
    Publication statusPublished - 1997
    EventICFEM'97: Intl. Conf. on Formal Engineering Methods - Hiroshima, Japan
    Duration: 1 Jan 1997 → …

    Conference

    ConferenceICFEM'97: Intl. Conf. on Formal Engineering Methods
    CityHiroshima, Japan
    Period01/01/1997 → …

    Cite this

    Bjørner, D., Koussoube, S., Noussi, R., & Satchok, G. (1997). Michael Jackson's Frame Problems. In ICFEM'97: Intl. Conf. on Formal Engineering Methods IEEE CS Press.