Normal view
MARC view
Abstract Data Type (Topical Term)
Machine generated authority record
Work cat.: (NEDUET)744592: Sitaraman, Murali 779026, onPractical Need for Abstraction Relations to Verify Abstract Data Type Representations