Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers

von Babikian, Aren A.
Veröffentlicht in FASE (23. : 2020 : Online) Fundamental approaches to software engineering (2020)