Login / Signup

Automatic support for formal specification construction using pattern knowledge.

Xi WangWeikai Miao
Published in: SNPD (2016)
Keyphrases