Design of Redundant Formal Specifications by Logic programming: Merging Formal Text and Good Comments.
Sophie Renault, Pierre Deransart
VenueBICLP
Year1994
ProceedingsICLP Workshop: Applications of Logic Programming to Software Engineering
DBLP recordconf/iclp/RenaultD94a ↗
Browse the full ICLP paper archive.