A Semantic Foundation for Hidden State

J. Schwinghammer, H. Yang, Lars Birkedal, F. Pottier, B. Reus

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    OriginalsprogEngelsk
    TitelFoundations of Software Science and Computational Structures, 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
    RedaktørerC.-H. Luke Ong
    ForlagSpringer
    Publikationsdato2010
    Sider2-17
    DOI
    StatusUdgivet - 2010
    NavnLecture Notes in Computer Science
    Vol/bind6014

    Citationsformater