Skip to contents

  3. Bouyer, Patricia [Author] ; Schröder, Lutz [Editor]

    Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer Nature, 2022

  4. Bouyer, Patricia [Editor]; Srinivasan, Srikanth [Editor] ; FSTTCS 43. 2023 Hyderabad, Indien

    43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science : FSTTCS 2023, December 18-20, 2023, IIIT Hyderabad, Telangana, India

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Saarbrücken/Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, December 2023

    Published in: Leibniz international proceedings in informatics ; 284

  5. Bouyer, Patricia [Editor]; Schröder, Lutz [Editor]

    Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings - [1st ed. 2022.]

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022.

    Published in: Lecture Notes in Computer Science ; 13242

  6. Bouyer, Patricia [Editor]; Schröder, Lutz [Editor]

    Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer Nature, 2022

    Published in: Lecture Notes in Computer Science

  12. Bouyer, Patricia [Editor]; Orlandini, Andrea [Editor]; San Pietro, Pieluigi [Editor] ; International Symposium on Games, Automata, Logics and Formal Verification 8. 2017 Rom

    Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification : Roma, Italy, 20-22 September 2017

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Erscheinungsort nicht ermittelbar]: [Verlag nicht ermittelbar], 2017

    Published in: Electronic proceedings in theoretical computer science ; 256