• Deutsch
Login

Open Access

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

ISAR: An interactive system for algebraic implementation proofs

Bernhard Bauer, Rolf Hennicker

    Download full text files

    • 44579.pdfeng
      (480KB)

      Postprint

    Export metadata

    • BibTeX
    • RIS

    Statistics

    Number of document requests

    Additional Services

    Share in Twitter Search Google Scholar
    Metadaten
    Author:Bernhard BauerORCiDGND, Rolf Hennicker
    URN:urn:nbn:de:bvb:384-opus4-445793
    Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/44579
    ISBN:354055727XOPAC
    Parent Title (English):Lecture Notes in Computer Science
    Publisher:Springer
    Place of publication:Berlin [u.a.]
    Type:Article
    Language:English
    Year of first Publication:2005
    Publishing Institution:Universität Augsburg
    Release Date:2019/01/08
    Volume:624
    First Page:451
    Last Page:453
    DOI:https://doi.org/10.1007/bfb0013084
    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 / Professur Softwaremethodik für verteilte Systeme
    Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 000 Informatik, Informationswissenschaft, allgemeine Werke
    Licence (German):License LogoDeutsches Urheberrecht

    OPUS4 Logo

    • Contact
    • Imprint
    • Sitelinks