Merkliste 
 1 Ergebnisse 
 
1

Automated test-design from requirements : the Specmate t..:

, In: Proceedings of the 5th International Workshop on Requirements Engineering and Testing,