Verifiable and Executable Logic Specifications of Concurrent Objects in L_pi (1998)

by Luis Caires , Luis Monteiro
Citations:9 - 0 self