Hähnle, Reiner ; Heisel, Maritta ; Reif, Wolfgang ; Stephan, Werner (1986)
An Interactive Verification System Based on Dynamic Logic.
doi: 10.1007/3-540-16780-3_99
Conference or Workshop Item, Bibliographie
| Item Type: | Conference or Workshop Item |
|---|---|
| Erschienen: | 1986 |
| Creators: | Hähnle, Reiner ; Heisel, Maritta ; Reif, Wolfgang ; Stephan, Werner |
| Type of entry: | Bibliographie |
| Title: | An Interactive Verification System Based on Dynamic Logic |
| Language: | English |
| Date: | 1986 |
| Place of Publication: | Berlin |
| Publisher: | Springer-Verlag |
| Book Title: | Proceedings of the 8th Conference on Automated Deduction (CADE) : Oxford, England, July 27 - August 1, 1986 ; proceedings |
| Series: | Lecture Notes in Computer Science |
| Series Volume: | 230 |
| DOI: | 10.1007/3-540-16780-3_99 |
| Divisions: | 20 Department of Computer Science 20 Department of Computer Science > Software Engineering |
| Date Deposited: | 31 Dec 2016 10:40 |
| Last Modified: | 21 Oct 2022 09:34 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum