Validation of data flow results for program modules / Karsten Klohs. 2009
Inhalt