Wilson Ifill, Steve A. Schneider. A step towards refining and translating B control annotations to Handel-C. Concurrency - Practice and Experience, 22(8):1023-1048, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.