Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Verifying reachability invariants of linked structures
Home
Publications
Verifying reachability invariants of linked structures
Verifying reachability invariants of linked structures
GN
Greg Nelson
Greg Nelson
Publisher Website
Google Scholar
Cite
Download
Share
Download
Download
Download PDF
Download
1 January 1983
conference paper
conference paper
Published by
Association for Computing Machinery (ACM)
p.
38-47
https://doi.org/10.1145/567067.567073
Abstract
No abstract available
Cited by 51 articles