Formal Specifications and Test: Correctness and Oracle.

Pascale Le Gall, Agns Arnould

Browse the full COMPASS paper archive.