diff options
Diffstat (limited to 'main.tex')
| -rw-r--r-- | main.tex | 5 |
1 files changed, 0 insertions, 5 deletions
@@ -138,11 +138,6 @@ <concept_significance>500</concept_significance> </concept> <concept> - <concept_id>10010583.10010717.10010721</concept_id> - <concept_desc>Hardware~Functional verification</concept_desc> - <concept_significance>300</concept_significance> - </concept> - <concept> <concept_id>10011007.10011074.10011099.10011692</concept_id> <concept_desc>Software and its engineering~Formal software verification</concept_desc> <concept_significance>500</concept_significance> |