Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:research_institute
|
| gptkbp:abbreviation |
gptkb:IMDEA_Software_Institute
|
| gptkbp:address |
Campus de Montegancedo, 28223 Pozuelo de Alarcón, Madrid, Spain
|
| gptkbp:affiliatedWith |
gptkb:Universidad_Politécnica_de_Madrid
|
| gptkbp:country |
gptkb:Spain
|
| gptkbp:director |
gptkb:Manuel_Hermenegildo
|
| gptkbp:focusArea |
computer science
software science |
| gptkbp:foundedYear |
2006
|
| https://www.w3.org/2000/01/rdf-schema#label |
IMDEA Software
|
| gptkbp:languageOfWork |
gptkb:Spanish
English |
| gptkbp:locatedIn |
gptkb:Madrid
|
| gptkbp:parentOrganization |
gptkb:IMDEA_Institutes
|
| gptkbp:researchArea |
gptkb:programming_language
gptkb:security formal methods systems software verification |
| gptkbp:website |
https://software.imdea.org/
|
| gptkbp:bfsParent |
gptkb:IMDEA_Software_Institute
|
| gptkbp:bfsLayer |
7
|