Statements (8)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:conference
|
| gptkbp:eventType |
gptkb:conference
|
| gptkbp:field |
formal methods
|
| gptkbp:fullName |
Symposium on Formal Methods 2021
|
| gptkbp:year |
2021
|
| gptkbp:bfsParent |
gptkb:Line_10_(Beijing_Subway)
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
SFM21
|