Login / Signup

Making explicit domain knowledge in formal system development.

Yamine Aït AmeurDominique Méry
Published in: Sci. Comput. Program. (2016)
Keyphrases