Extraction of missing formal assumptions in under-constrained designs.

Guillaume Plassan, Katell Morin-Allory, Dominique Borrione

Browse the full MEMOCODE paper archive.