Merkliste 
 1 Ergebnisse 
 
1

Applying Formal Methods: Testing, Performance, and M/E-Comm.. 

FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain,...  Lecture Notes in Computer Science ; 3236