The need for usable formal methods in verification and validation.

Ross Gore, Saikou Y. Diallo

Browse the full WSC paper archive.