Skip to content
Forskning

Forskning

Sidst opdateret afAnnelie Jepsenden22-12-2011Forskning > Forskningsprojekter > Relational Reasoning

Del på FacebookGem som PDFTip en ven

Relational Reasoning for Programs using Higher-Order Store 

Projektbeskrivelsen findes kun på engelsk. Klik her for den engelske side. 

Find this page Online

http://212.97.130.100/da/Forskning/Forskningsprojekter/Relational Reasoning