Sivilotti, Paul

Combined from CaltechTHESIS

• Sivilotti, Paul (1993) A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language; 10.7907/ngrt-q826