Skip to content

Formal and informal approaches for validation.

Tetsuo Tamai

Year1991
ProceedingsCOMPSAC

Browse the full COMPSAC paper archive.