Author:
Choppy Christine,Bidoit Michel
Reference34 articles.
1. Slog 1.1, User’s Manual, 1986. C.G.E. Report, Route de Nozay, 91460 Marcoussis, France.
2. G. Bernot and M. Bidoit. Proving the correctness of algebraically specified software: Modularity and Observability issues. In Proc. of the 2nd International Conference on Algebraic Methodology and Software Technology (AMAST), 1991.
3. M. Bidoit. The stratified loose approach: A generalization of initial and loose semantics. In Recent Trends in Data Type Specification, Selected Papers of the 5th Workshop on Specifications of Abstract Data Types, pages 1–22. Springer-Verlag L.N.C.S. 332, 1987.
4. M. Bidoit. Pluss, un langage pour le développement de spécifications algébriques modulaires. Thèse d’Etat, Université Paris-Sud, 1989.
5. M. Bidoit, F. Capy, and C. Choppy. The design and specification of the ASSPEGIQUE data base. In Proc. of the Int. Symp. on Design and Implementation of Symbolic Computation Systems (DISCO), pages 205–214. Springer-Verlag L.N.C.S. 429, 1990.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献