Author:
Bernot Gilles,Gall Pascale
Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. LNCS 493;E. Astesiano,1991
2. Bernot G., Bidoit M. Proving the correctness of algebraically specified software: Modularity and Observability issues. Proc. of AMAST-2, Second Conference of Algebraic Methodology and Software Technology, Iowa City, Iowa, USA, May 1991.
3. Bernot G., Bidoit M., Choppy C. Abstract data types with exception handling: an initial approach based on a distinction between exceptions and errors. Theoretical Computer Science, Vol.46, n.1, pp.13–45, Elsevier Science Pub. B.V. (North-Holland), November 1986. (Also LRI Report 251, Orsay, Dec. 1985).
4. Bernot G., Gaudel M.C., Marre B. Software testing based on formal specifications: a theory and a tool. to appear in Software Engineering Journal, December 1991.
5. Bernot G. Diplôme d'Habilitation à diriger des Recherches en Sciences, Université de Paris XI, Orsay, 1992.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Algebraic specification languages: An overview;Recent Trends in Data Type Specification;1995
2. A lazy approach to partial algebras;Recent Trends in Data Type Specification;1995
3. Exception handling and term labelling;Lecture Notes in Computer Science;1993