Login / Signup

Industrial Application of Formal Models Generated from Domain Specific Languages.

Jozef Hooman
Published in: Theory and Practice of Formal Methods (2016)
Keyphrases