Computer Science Report of Stanford University. 243, Inductive Methods for Proving Properties of Programs /
| Hlavní autor: |
Manna, Zohar
(
Autor )
|
|---|---|
| Další autoři: |
Ness, Stephen
(
Autor )
|
| Typ dokumentu: | Kniha |
| Jazyk: |
angličtina |
| Vydavatel: |
Stanford :
Stanford University,
1971
|
| Předmět: | |
|
|