ABTOOLS: another B tool

Third International Conference on Application of Concurrency to System Design, 2003. Proceedings. ◽

10.1109/csd.2003.1207718 ◽

2004 ◽

Cited By ~ 1

Author(s):

J.-L. Boulanger

Download Full-text