Skip to content

About the Correctness and Adequacy of PLUSS Specifications.

Christine Choppy

Year1992
ProceedingsCOMPASS/ADT

Browse the full COMPASS paper archive.