Login / Signup

Domain Modelling: A Foundation for Software Development.

Dines Bjørner
Published in: Theories of Programming and Formal Methods (2023)
Keyphrases