Buffo, MathieuUrland, ErikRolim, JoséBuchs, Didier2005-09-202005-09-202005-09-201994https://infoscience.epfl.ch/handle/20.500.14299/216766ConformProgressive generation of parallel solutions for formally specified problemstext::conference output::conference proceedings::conference paper