Sivilotti, Paul

Combined from CaltechAUTHORS

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