Merkliste 
 1 Ergebnisse 
 
1

Reusable specification modules for type analysis:

Kastens, Uwe ; Waite, William M.
Software: Practice and Experience.  39 (2009)  9 - p. 833-864 , 2009