|
|
Penner, Volker (1986): Programmverifikation
| Title: |
Programmverifikation |
| Author(s): |
Penner, Volker |
| Year: |
1986 |
| Booktitle: |
Frühjahrsschule für Künstliche Intelligenz KIFS--85/86 |
| Editor(s): |
Th. Christaller and H.--W. Hein and M. M. Richter |
| Number: |
159 |
| Pages: |
134-182 |
| Publisher: |
Springer |
| Address: |
Berlin u.a. |
Concepts
|
|
