Publications
Search

Publications :: Search

Show venue

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

    Conference
    Name: First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 1993
    DBLP: db/conf/larch/larch1992.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 17  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    John W. Baugh Jr..
    Is Engineering Software Amenable to Formal Specification?
    First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 1993 (0) 1992
    Conference paper
    Michel Bidoit, Rolf Hennicker.
    How to Prove Observational Theorems with LP.
    First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 1993 (0) 1992
    Conference paper
    Karl-Heinz Buth.
    Using SOS Definitions in Term Rewriting Proofs.
    First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 1993 (0) 1992
    Conference paper
    Boutheina Chetali, Pierre Lescanne.
    An Exercise in LP: The Proof of a Non Restoring Division Circuit.
    First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 1993 (0) 1992
    Conference paper
    Christine Choppy, Michel Bidoit.
    Integrating ASSPEGIQUE and LP.
    First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 1993 (0) 1992
    Conference paper
    Urban Engberg, Peter Grønning, Leslie Lamport.
    Mechanical Verification of Concurrent Systems with TLA.
    First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 1993 (0) 1992
    Conference paper
    Gary Feldman, Joseph Wild.
    The DECspec Project: Tools for Larch/C.
    First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 1993 (0) 1992
    Conference paper
    David Guaspari, Carla Marceau, Wolfgang Polak.
    Formal Verification of Ada Programs.
    First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 1993 (0) 1992
    Conference paper
    Kevin D. Jones.
    A Semantics for a Larch/Modula-3 Interface Language.
    First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 1993 (0) 1992
    Conference paper
    Gary T. Leavens, Yoonsik Cheon.
    Preliminary Design of Larch/C++.
    First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 1993 (0) 1992
    Show item 1 to 10 of 17  

    Your query returned 17 matches in the database.