Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








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, Jacques

dblp

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

URL of the conference:

http://lifc.univ-fcomte.fr/afadl2004/index.htm

URL for downloading the paper:

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
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
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
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section