A Lightweight Framework for Code Generation from B Formal Specification
Xiaoli Liu, Rongqiang Fan
Published in 2010 Second International Workshop on Education Technology and Computer Science (01.03.2010)
Published in 2010 Second International Workshop on Education Technology and Computer Science (01.03.2010)
Get full text
Conference Proceeding