Simplification of Proof Procedures Based on the Path Condition Concepts

M. Larnac,J. Magnier,V. Chapurlat
DOI: https://doi.org/10.1007/10720123_11
1999-09-29
Abstract:
What problem does this paper attempt to address?