Login / Signup

Interactive Model Expansion in an Observable Environment.

Pierre CarbonnelleJoost VennekensMarc DeneckerBart Bogaerts
Published in: Theory Pract. Log. Program. (2023)
Keyphrases