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

Saved in:
Bibliographic Details
Published inFundamental Approaches to Software Engineering Vol. 12076
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 01.01.2020
Online AccessGet full text

Cover

More Information
ISBN:3030452336
9783030452339
DOI:10.1007/978-3-030-45234-6_22