|Home Latest Advanced Search By Year By Division|
|Not Logged in. Login|
Programs, proofs and parametrized specifications
Poernomo, Iman and Crossley, John and Wirsing, Martin (2002) Programs, proofs and parametrized specifications. In: Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers.
Full text not available from this repository.
Repository Staff Only: item control page