Author:
Bellegarde F.,Darlot C.,Julliand J.,Kouchnarenko O.
Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. J.-R. Abrial. The B Book. Cambridge University Press-ISBN 0521-496195, 1996.
2. Lect Notes Comput Sci;J.-R. Abrial,1998
3. F. Bellegarde, C. Darlot, J. Julliand, and O. Kouchnarenko. Reformulate dynamic properties during B refinement and forget variants and loop invariants. In Proc. Int. Conf. ZB’2000, York, Angleterre. Springer-Verlag, August 2000. LNCS to appear.
4. Lect Notes Comput Sci;F. Bellegarde,2000
5. G. Holzmann. Design and validation of protocols. Prentice Hall software series, 1991.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献