Sophie Renault, Pierre Deransart. Design of Redundant Formal Specifications by Logic programming: Merging Formal Text and Good Comments. In Paolo Ciancarini, Leon Sterling, editors, ICLP 1994 Workshop W7: Applications of Logic Programming to Software Engineering, Santa Margherita Ligure, Italy, June 1994. 1994.
@inproceedings{RenaultD94a,
title = {Design of Redundant Formal Specifications by Logic programming: Merging Formal Text and Good Comments},
author = {Sophie Renault and Pierre Deransart},
year = {1994},
researchr = {https://researchr.org/publication/RenaultD94a},
cites = {0},
citedby = {0},
booktitle = {ICLP 1994 Workshop W7: Applications of Logic Programming to Software Engineering, Santa Margherita Ligure, Italy, June 1994},
editor = {Paolo Ciancarini and Leon Sterling},
}