Theory on Software Diagnosis for Program Code Validation.

Fumio Negoro, Hamido Fujita

Browse the full SoMeT paper archive.