Dissertation 
Slicing integrated formal specifications for verification / Ingo Brückner
Entstehung
  
  
  
  
  
  
 
JPEG-Download
verfügbare Breiten