Nadya Tareb

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1987

2 Nadya Tareb, Yves Kodratoff: Synthesis of Specifications from Programs. ÖGAI 1987: 157-167

1 Nadya Tareb, Yves Kodratoff: Synthèse de spécifications à partir de programmes. SPLT 1987: 265-

1987
2		Nadya Tareb, Yves Kodratoff: Synthesis of Specifications from Programs. ÖGAI 1987: 157-167
1		Nadya Tareb, Yves Kodratoff: Synthèse de spécifications à partir de programmes. SPLT 1987: 265-

Coauthor Index

1 Yves Kodratoff [1] [2]