Mireille Larnac, Janine Magnier, Vincent Chapurlat. Simplification of Proof Procedures Based on the Path Condition Concepts. In Franz Pichler, Roberto Moreno-Díaz, Peter Kopacek, editors, Computer Aided Systems Theory - EUROCAST 99, Vienna, Austria, September 29 - October 2, 1999, Proceedings. Volume 1798 of Lecture Notes in Computer Science, pages 116-126, Springer, 1999.
Abstract is missing.