BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@inproceedings{TUW-301843,
    author = {Bartocci, Ezio and Ferrere, Thomas and Henzinger, Thomas A. and Nickovic, Dejan and Oliveira da Costa, Ana},
    title = {Information-Flow Interfaces},
    booktitle = {Proc. of FASE 2022: the 25th International Conference on Fundamental Approaches to Software Engineering},
    year = {2022},
    note = {accepted for publication; talk: Proc. of FASE 2022: the 25th International Conference on Fundamental Approaches to Software Engineering, Munich, Germany; 2022-04-02 -- 2022-04-07}
}


1 Datensatz ausgegeben