cour_17c550b5-7586-47b6-92d2-9f5cace3e2cc

•  
• Visão geral
•  
• Publicações
•  
• Ver todos
•  

Visão geral

oferecido por

• Royal Institute Of Technology 

Publicações

publicações

• Automatic Extraction of Program Models for Formal Software Verification  Documento