diff options
-rw-r--r-- | main.tex | 5 | ||||
-rw-r--r-- | submitted.txt | 1 |
2 files changed, 1 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> diff --git a/submitted.txt b/submitted.txt new file mode 100644 index 0000000..62f16d1 --- /dev/null +++ b/submitted.txt @@ -0,0 +1 @@ +4386184c78d5a0d2c473904b2fc5c898a9c63527c97fe19fd05363dd7d585025 main.pdf |