AFADL'07: approches formelles dans l'assistance au développement de logiciels, Namur, 13-15 juin 2007

Germain Saval (Editor), Hubert Toussaint (Editor), Pierre-Yves Schobbens, Marie-Laure Potet (Editor)

Research output: Book/Report/Journal › Book

Original language	French
Place of Publication	Namur
Publisher	Presses universitaires de Namur
Number of pages	304
ISBN (Print)	978-2-87037-559-4
Publication status	Published - 2007

Cite this

@book{844e7f4dc3d347a792d60e8ba077b3d2,

title = "AFADL'07: approches formelles dans l'assistance au d{\'e}veloppement de logiciels, Namur, 13-15 juin 2007",

author = "Pierre-Yves Schobbens",

editor = "Germain Saval and Hubert Toussaint and Marie-Laure Potet",

note = "Publication code : FP A0643 ; 1A36048",

year = "2007",

language = "Fran{\c c}ais",

isbn = "978-2-87037-559-4",

publisher = "Presses universitaires de Namur",

}

TY - BOOK

T1 - AFADL'07: approches formelles dans l'assistance au développement de logiciels, Namur, 13-15 juin 2007

AU - Schobbens, Pierre-Yves

A2 - Saval, Germain

A2 - Toussaint, Hubert

A2 - Potet, Marie-Laure

N1 - Publication code : FP A0643 ; 1A36048

PY - 2007

Y1 - 2007

M3 - Livre

SN - 978-2-87037-559-4

BT - AFADL'07: approches formelles dans l'assistance au développement de logiciels, Namur, 13-15 juin 2007

PB - Presses universitaires de Namur

CY - Namur

ER -