MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Dubois, Catherine
Jaume, Mathieu
Pons, Olivier
Prevosto, Virgile		dblp
dblp
dblp
dblp
Not MPG Author(s):
Dubois, Catherine
Jaume, Mathieu
Pons, Olivier
Editor(s):
Juilland, Jacquesdblp
Not MPII Editor(s):
Juilland, Jacques
BibTeX cite key*:
Prevosto2004
Title, Booktitle
Title*:
L'atelier FOCAL
Booktitle*:
Actes du 6ème Atelier sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2004)
Event, URLs
Conference URL::
http://lifc.univ-fcomte.fr/afadl2004/index.htm
Downloading URL:
http://lifc.univ-fcomte.fr/afadl2004/textes/actes/Outils/o02.pdf
Event Address*:
Besançon, France
Language:
French
Event Date*
(no longer used):
Organization:
Event Start Date:
16 June 2004
Event End Date:
18 June 2004
Publisher
Name*:
Université de Franche-Comté
URL:
Address*:
Besançon, France
Type:
Vol, No, Year, pp.
Series:
Volume:
Number:
Month:
June
Pages:
321-324
Year*:
2004
VG Wort Pages:
ISBN/ISSN:
Sequence Number:
DOI:
Note, Abstract, ©
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography, VG Wort



BibTeX Entry:
@INPROCEEDINGS{Prevosto2004,
AUTHOR = {Dubois, Catherine and Jaume, Mathieu and Pons, Olivier and Prevosto, Virgile},
 EDITOR = {Juilland, Jacques},
 TITLE = {L'atelier FOCAL},
 BOOKTITLE = {Actes du 6{\`e}me Atelier sur les Approches Formelles dans l'Assistance au D{\'e}veloppement de Logiciels (AFADL 2004)},
 PUBLISHER = {Université de Franche-Comté},
 YEAR = {2004},
 PAGES = {321--324},
 ADDRESS = {Besançon, France},
 MONTH = {June},
}

Entry last modified by Anja Becker, 01/28/2008
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Virgile Prevosto		Created
01/26/2005 06:19:33 PM
Revisions
4.
3.
2.
1.
0.		Editor(s)
Anja Becker
Uwe Waldmann
Anja Becker
Anja Becker
Anja Becker		Edit Dates
09.06.2005 09:49:29
03/23/2005 10:16:01 PM
02.02.2005 13:22:23
02.02.2005 12:13:03
01/26/2005 06:19:33 PM