Conference series Beta
Conference on Proving Assertions About Programs
- Events
- 1 (1972)
- Academic field
- Natural sciences: Computer and information sciences
- Identifier
https://id.confref.org/series/s1238p1
Events (1)
19721972
| Year | No. | Event | Place | Date |
|---|---|---|---|---|
| 1972 | Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972 | Las Cruces |
The events on the map · in the search · calendar of coming events
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| dblp |
|---|
Cite
Conference on Proving Assertions About Programs. confref identifier s1238p1. https://id.confref.org/series/s1238p1
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.