Merkliste 
 1 Ergebnisse 
 
1

Semantic distance between specifications:

Mili, Rym ; Desharnais, Jules ; Frappier, Marc.
Theoretical Computer Science.  247 (2000)  1-2 - p. 257-276 , 2000