Author:
Bouquet Fabrice,Legeard Bruno,Peureux Fabien
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference38 articles.
1. Van Aertryck L, Benveniste M, le Metayer D (1997) CASTING: a formally based software test generation method. In: Proceedings of the 1st IEEE international conference on formal engineering methods (ICFEM’97), Hiroshima Japan, 12–14 November 1997, pp 99–112
2. Abrial J-R (1996) The B-BOOK: assigning programs to meanings. Cambridge University Press
3. Ambert F, Legeard B, Legros E (1994) Constraint logic programming on sets and multisets. In: Proceedings of ICLP’94 – workshop on constraint languages and their use in problem modeling, Ithaca, New York, November 1994, pp 151–165
4. Aiken A, Wilmmers EL (1993) Type inclusion constraints and type inference. In: Proceedings of the conference on functional programming languages and computer architecture, Copenhagen, Denmark, 9–11 June 1993, pp 31–41
5. Behm P, Desforges P, Meynadier JM (1998) METEOR: an industrial success in formal development. In Proceedings of the 2nd international conference on the B method, Montpellier, France, Lecture notes in computer science, vol 1393. Springer, Berlin Heidelberg New York, pp 26–27
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献