Publisher
Springer Berlin Heidelberg
Reference3 articles.
1. P. Borras, D. Clément, T. Despeyroux, J. Incerpi, G. Kahn, B. Lang, and V. Pascual. Centaur: the system. In Third Symposium on Software Development Environments, 1988. (Also appears as INRIA Report no. 777).
2. D. Clément. A distributed architecture for programming environments. Software Engineering Notes, 15(5), 1990. Proceedings of the 4th Symposium on Software Development Environments.
3. C. Cornes, J. Courant, J.-C. Filliâtre, G. Huet, P. Manoury, C. Muñoz, C. Murthy, C. Parent, C. Paulin-Mohring, A. Saïbi, and B. Werner. The Coq Proof Assistant User's Guide. INRIA, May 1995. Version 5.10.