| ... | ... | @@ -108,6 +108,10 @@ good program source code. |
|
|
|
- Each keyword starts with a capital letter
|
|
|
|
- If a keyword consists of multiple words, this only applies to the first of those words
|
|
|
|
- Example: Software verification, Program analysis, SMT solving, Competition
|
|
|
|
|
|
|
|
- References:
|
|
|
|
- For each reference, we provide a DOI (it is exists).
|
|
|
|
|
|
|
|
## BibTeX File
|
|
|
|
- Use meaningful BibTeX keys (tool or concept, name of an author,
|
|
|
|
perhaps add conference or year).
|
| ... | ... | |
