CLP(χ) for Automatically Proving Program Properties (1994)
by
F. Mesnard
,
S. Hoarau
,
A. Maillard
BibTeX
@MISC{Mesnard94clp(χ)for,
author = {F. Mesnard and S. Hoarau and A. Maillard},
title = {CLP(χ) for Automatically Proving Program Properties},
year = {1994}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper was presented at the workshop "Frontiers of Combining Systems", Munich, March 1996
