Skip to contents

  12. Misra, Jayadev [Other]; Nipkow, Tobias [Other]; Sekerinski, Emil [Other]

    FM 2006: Formal Methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

    Published in: Lecture notes in computer science ; 4085

  19. Uhl, Juergen [Author]; Theobald, Dietmar [Author]; Schiefer, Bernhard [Author]; Sekerinski, Emil [Author]; Rehm, Simone [Author]; Ranft, Michael [Author]; Zimmer, Walter [Author]

    The object management system of STONE - SOS release 3.2

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    KITopen (Karlsruhe Institute of Technologie), 2008-01-16

  20. Sekerinski, Emil [Editor]; Moreira, Nelma [Editor]; Oliveira, José N. [Editor]; Ratiu, Daniel [Editor]; Guidotti, Riccardo [Editor]; Farrell, Marie [Editor]; Luckcuck, Matt [Editor]; Marmsoler, Diego [Editor]; Campos, José [Editor]; Astarte, Troy [Editor]; Gonnord, Laure [Editor]; Cerone, Antonio [Editor]; Couto, Luis [Editor]; Dongol, Brijesh [Editor]; Kutrib, Martin [Editor]; Monteiro, Pedro [Editor]; Delmas, David [Editor]

    Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I - [1st ed. 2020.]

    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, 2020. ; Cham: Imprint: Springer, 2020.

    Published in: Programming and Software Engineering ; 12232- Springer eBook Collection