학술논문
Code generation for Event-B
Document Type
Article
Author
Source
In: International Journal on Software Tools for Technology Transfer . (International Journal on Software Tools for Technology Transfer, 1 February 2017, 19(1):31-52)
Subject
Language
English
ISSN
14332787
14332779
14332779