fundamenta informaticae (14)
theory and practice of logic programming (9)
theory & practice of logic programming (6)
logic-based program synthesis and transformation (4)
healthcare (2227-9032) (2)
oncologie (2)
oncologie (de gruyter) (2)
2021 ieee international conference on service-oriented system engineering (sose), service-oriented system engineering (sose), 2021 ieee international conference on, sose (1)
2021 ieee international symposium on software reliability engineering workshops (issrew), software reliability engineering workshops (issrew), 2021 ieee international symposium on, issrew (1)
2023 ieee international conference on artificial intelligence testing (aitest), artificial intelligence testing (aitest), 2023 ieee international conference on, aitest (1)
automated reasoning. part i (1)
european journal of obstetrics & gynecology and reproductive biology (1)
journal of logic and computation (1)
journal of systems & software (1)
logic-based program synthesis & transformation (9783642381966) (1)
proceedings 3rd workshop on horn clauses for verification and synthesis (1)
proceedings 5th workshop on horn clauses for verification and synthesis (1)
proceedings first workshop on horn clauses for verification and synthesis (1)
proceedings of the sixth workshop on horn clauses for verification and synthesis and third workshop on program equivalence and relational reasoning (1)
rules and reasoning (1)
semantics, abstract interpretation, and reasoning about programs: essays dedicated to david a. schmidt on the occasion of his sixtieth birthday (1)
static analysis (1)
static analysis (9783662534120) (1)
tests and proofs (1)
the journal of systems & software (1)
tools & algorithms for the construction & analysis of systems: 20th international conference, tacas 2014, held as part of the european joint conferences on theory & practice of software, etaps 2014, grenoble, france, april 5-13, 2014. proceedings (1)
verification, model checking & abstract interpretation: 15th international conference, vmcai 2014, san diego, ca, usa, january 19-21, 2014, proceedings (1)
verification, model checking, and abstract interpretation (1)