TU Darmstadt / ULB / TUbiblio

An Interactive Verification System Based on Dynamic Logic

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

Item Type: Conference or Workshop Item
Erschienen: 1986
Creators: Hähnle, Reiner and Heisel, Maritta and Reif, Wolfgang and Stephan, Werner
Title: An Interactive Verification System Based on Dynamic Logic
Language: English
Title of Book: Proc. 8th Conference on Automated Deduction {CADE}, Oxford
Series Name: LNCS
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
Official URL: https://doi.org/10.1007/3-540-16780-3_99
Identification Number: HHRS86
Export:

Optionen (nur für Redakteure)

View Item View Item