Synthèse de spécifications à partir de programmes. - Nadya Tareb; Yves Kodratoff (SPLT, 1987)

Synthesis of Specifications from Programs. - Nadya Tareb; Yves Kodratoff (ÖGAI, 1987)