Skip to content

Formal methods for software testing (invited paper).

Marie-Claude Gaudel

Year2017
ProceedingsTASE

Browse the full TASE paper archive.