In:
Workshop on Practical Aspects of Automated Reasoning (7. : 2020 : Online), PAAR+SC-Square 2020: Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2020, [Aachen, Germany] : [RWTH Aachen], 2020, (2020), Seite 178-188
In:
year:2020
In:
pages:178-188
Language:
English
URL:
Volltext
(kostenfrei)