Data flow analysis as an aid in documentation, assertation generation, validation, and error detection
Gespeichert in:
1. Verfasser: | |
---|---|
Weitere Verfasser: | |
Format: | UnknownFormat |
Sprache: | eng |
Veröffentlicht: |
Boulder, Colo.
Dep. of Computer Science, Univ. of Colorado
1974
|
Schriftenreihe: | Technical report / Department of Computer Science, University of Colorado
55-74 |
Schlagworte: | |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Beschreibung: | 34 S. |
---|