Login / Signup

A General Methodology for Internalising Multi-Level Model Typing.

Harald KönigUwe Wolter
Published in: MoDELS (Companion) (2021)
Keyphrases