TU Darmstadt / ULB / TUbiblio

An Interactive Verification System Based on Dynamic Logic

Hähnle, Reiner ; Heisel, Maritta ; Reif, Wolfgang ; Stephan, Werner (1986):
An Interactive Verification System Based on Dynamic Logic.
In: LNCS, 230, In: Proc. 8th Conference on Automated Deduction {CADE}, Oxford, pp. 306-315,
Springer-Verlag, DOI: 10.1007/3-540-16780-3_99,
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 1986
Creators: Hähnle, Reiner ; Heisel, Maritta ; Reif, Wolfgang ; Stephan, Werner
Title: An Interactive Verification System Based on Dynamic Logic
Language: English
Book Title: Proc. 8th Conference on Automated Deduction {CADE}, Oxford
Series: LNCS
Series Volume: 230
Publisher: Springer-Verlag
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
DOI: 10.1007/3-540-16780-3_99
URL / URN: https://doi.org/10.1007/3-540-16780-3_99
Identification Number: HHRS86
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details