Approaches to Program Correctness
| Autor(en): |
Joseph O. Harrison
|
|---|---|
| Medium: | Fachartikel |
| Sprache(n): | Englisch |
| Veröffentlicht in: | Journal of the Technical Councils of ASCE, November 1978, n. 1, v. 104 |
| Seite(n): | 39-48 |
| DOI: | 10.1061/JTCAD9.0000015 |
- Über diese
Datenseite - Reference-ID
10572920 - Veröffentlicht am:
18.02.2021 - Geändert am:
19.02.2021
Structurae kooperiert mit
