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/JournalBook

Original languageFrench
Place of PublicationNamur
PublisherPresses universitaires de Namur
Number of pages304
ISBN (Print)978-2-87037-559-4
Publication statusPublished - 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{\cc}ais",
isbn = "978-2-87037-559-4",
publisher = "Presses universitaires de Namur",

}

AFADL'07: approches formelles dans l'assistance au développement de logiciels, Namur, 13-15 juin 2007. / Saval, Germain (Editor); Toussaint, Hubert (Editor); Schobbens, Pierre-Yves; Potet, Marie-Laure (Editor).

Namur : Presses universitaires de Namur, 2007. 304 p.

Research output: Book/Report/JournalBook

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 -