Correctness of programs manipulating data structures.
Authors:
Tomasz Kowaltowski
Affiliations:
-
Venue:
Correctness of programs manipulating data structures.
Year:
1973
Citing
0
Cited
1
Data Structures and Correctness of Programs
Journal of the ACM (JACM)
Quantified Score
Hi-index
0.00
Visualization
Abstract