Skip to contents

  5. Meyer, Bertrand [Other]; Mingins, Christine [Other] ; TOOLS (Conference) (28th :1998 :Melbourne, Australia), Interactive Software Engineering, Inc

    Technology of object-oriented languages and systems : TOOLS 28 : proceedings : November 23-26, 1998, Melbourne, Australia

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Los Alamitos, Calif: IEEE Computer Society, 2010 ; [S.l.]: HathiTrust Digital Library

  9. Meyer, Bertrand [Other]; Woodcock, Jim [Other]

    Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

    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, 2008

    Published in: Lecture notes in computer science ; 4171

  10. Meyer, Bertrand [Other]; Joseph, Mathai [Other]

    Software Engineering Approaches for Offshore and Outsourced Development : First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers

    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, 2007

    Published in: Lecture notes in computer science ; 4716

  19. Caltais, Georgiana [Author]; Meyer, Bertrand [Author]

    On the verification of SCOOP programs

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

    KOPS - The Institutional Repository of the University of Konstanz, 2017

    Published in: Science of Computer Programming. 2017, 133(2), pp. 194-215. ISSN 0167-6423. eISSN 1872-7964. Available under: doi:10.1016/j.scico.2016.08.005

  20. Piccioni, Marco [Author]; Meyer, Bertrand [Author]

    The allure and risks of a deployable software engineering project

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Eidgenössische Technische Hochschule Zürich, Department of Computer Science, 2012

    Published in: Technical Report / ETH Zurich, Department of Computer Science, 583