Author:
Bradley Steven,Henderson William,Kendall David,Robson Adrian
Reference63 articles.
1. The B-Book;Abrial,1996
2. R. Alur, C. Courcoubetis, D. Dill, Model-checking for real-time systems, IEEE 5th Annual Symp. On Logic In Computer Science, Philadelphia, June 1990, pp. 414–425.
3. K. Araki, A. Galloway, Taguchi (Eds.), 1st Internat. Conf. on Integrated Formal Methods, Springer, Berlin, June 1999.