• Deutsch
Login

Open Access

  • Home
  • Search
  • Browse
  • Publish/report a document
  • Help

LEX: a case study in development and validation of formal specifications

Andreas Ramses Heckler, Rudolf Hettler, Heinrich Hussmann, Jacques Loeckx, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel

    Export metadata

    • BibTeX
    • RIS

    Statistics

    Number of document requests

    Additional Services

    Share in Twitter Search Google Scholar
    Metadaten
    Author:Andreas Ramses Heckler, Rudolf Hettler, Heinrich Hussmann, Jacques Loeckx, Wolfgang ReifORCiDGND, Gerhard SchellhornORCiDGND, Kurt StenzelGND
    Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/60754
    Type:Report
    Language:English
    Year of first Publication:1996
    Release Date:2019/08/26
    Issue:06/96
    Series:Technischer Bericht / A / Fachbereich Informatik, Universität des Saarlandes
    DOI:https://doi.org/10.22028/D291-25803
    Institutes:Fakultät für Angewandte Informatik
    Fakultät für Angewandte Informatik / Institut für Informatik
    Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
    Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
    Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Lehrstuhl für Softwaretechnik

    OPUS4 Logo

    • Contact
    • Imprint
    • Sitelinks