Merkliste 
 1 Ergebnisse 
 
1

One million (LOC) and counting : static analysis for err..:

, In: Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies,
Breuer, Peter T. ; Pickin, Simon - p. 56-70 , 2006