Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
  
Screen decoration graphicsLogo

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.


Item Type:Conference or Workshop Item (Paper)
Subjects:UNSPECIFIED
ID Code:245
Deposited By:Dr Iman Poernomo
Deposited On:08 Nov 2007 17:13
Last Modified:08 Nov 2007 17:13

Repository Staff Only: item control page