Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings 2004
    URL: https://doi.org/10.1007/b96106
    DBLP: db/conf/ifm/ifm2004.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 28  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Gabriel Ciobanu, Dorel Lucanu.
    Specification and Verification of Synchronizing Concurrent Objects.
    Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings 2004 (1) 2004
    Conference paper
    Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani.
    SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft.
    Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Thomas F. Melham.
    Integrating Model Checking and Theorem Proving in a Reflective Functional Language.
    Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Bernhard Beckert, Steffen Schlager.
    Software Verification with Integrated Data Type Refinement for Integer Arithmetic.
    Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim.
    Linking CSP-OZ with UML and Java: A Case Study.
    Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Francisco José Galán Morillo, José Miguel Cañete Valdeón.
    A Method for Compiling and Executing Expressive Assertions.
    Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom Kelsey, Ursula Martin.
    Design Verification for Control Engineering.
    Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Raymond T. Boute.
    Integrating Formal Methods by Unifying Abstractions.
    Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Simon Pickin, Jean-Marc Jézéquel.
    Using UML Sequence Diagrams as the Basis for a Formal Test Description Language.
    Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi 0001.
    An Optimal Approach to Hardware/Software Partitioning for Synchronous Model.
    Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings 2004 (0) 2004
    Show item 1 to 10 of 28  

    Your query returned 28 matches in the database.