Systematic Derivation of Complementary Specifications

Paulo A. S. Veloso, Jos Mauro Volkmer de Castilho, Antnio L. Furtado

Browse the full VLDB paper archive.