Publications
Search

Publications :: Search

Show venue

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

    Conference
    Name: Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 1994
    DBLP: db/conf/sosl/sosl1993.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 19  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Egidio Astesiano, Maura Cerioli.
    Multiparadigm Specification Languages: A First Attempt at Foundations.
    Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 1994 (0) 1993
    Conference paper
    Bart Botma.
    Rendez-vous with Bundle Event Structures.
    Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 1994 (0) 1993
    Conference paper
    Stephen Brien.
    The Development of Z.
    Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 1994 (0) 1993
    Conference paper
    Flemming M. Damm, Bo Stig Hansen.
    Generation of Proof Obligations for Type Consistency.
    Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 1994 (0) 1993
    Conference paper
    T. B. Dinesh.
    Type-Checking Revisited: Modular Error-Handling.
    Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 1994 (0) 1993
    Conference paper
    Loe M. G. Feijs.
    An Overview of the Development of COLD.
    Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 1994 (0) 1993
    Conference paper
    John S. Fitzgerald, R. Moore.
    Experiences in Developing a Proof Theory for VDM Specifications.
    Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 1994 (0) 1993
    Conference paper
    Rix Groenboom, Gerard R. Renardel de Lavalette.
    Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification.
    Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 1994 (0) 1993
    Conference paper
    Jan Friso Groote, Alban Ponse.
    Proof Theory for muCRL: A Language for Processes with Data.
    Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 1994 (0) 1993
    Conference paper
    Stefan Kahrs, Donald Sannella, Andrzej Tarlecki.
    The Semantics of Extended ML: A Gentle Introduction.
    Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 1994 (0) 1993
    Show item 1 to 10 of 19  

    Your query returned 19 matches in the database.