conference paper

Implications of a Data Structure Consistency Checking System

Kuncak, Viktor  orcid-logo
•
Lam, Patrick
•
Zee, Karen
Show more
2005
International conference on Verified Software: Theories, Tools, Experiments (VSTTE, IFIP Working Group 2.3 Conference)