Assertion: computer science's application | /r/AtLocation | writing specifications
Facets:
value: for concurrent systems
type: TRANSITIVE-OBJECT
Source sentences:
text: The principal application of these logics is in writing specifications for concurrent systems.