Random Access to Abstract Data Types (2000)

by Martin Erwig , Praktische Informatik Iv
Venue:8th Int. Conf. on Algebraic Methodology and Software Technology. LNCS 1816
Citations:2 - 1 self