The Collection of
Computer Science Bibliographies

AFADL

[   About   |  Browse   |   Statistics   ]

Number of references:29Last update:June 20, 2007
Number of online publications:0Supported:yes
Most recent reference:June 2007

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

Information on the Bibliography

Author:
Pierre-Yves Schobbens <Pierre-yves . schobbens @ fundp . ac . be> (email mangled to prevent spamming)
Facult##s Universitaires Notre-Dame de la Paix
Copyright:
Put into public domain
Abstract:
Actes de la Conference sur sur les Approches Formelles dans l'Assistance au D##veloppement de Logiciels – Proceedings of the (French-speaking) conference on Formal Methods to Support Software Development
Keywords:
Formal methods, automated software engineering, semantics of programming languages, refinement
Author Comments:
Currently only contains the 2007 proceedings

Browsing the bibliography

Bibliographic Statistics

Types:
inproceedings(28), proceedings(1)
Fields:
title(29), author(28), pages(28), address(27), booktitle(27), editor(27), month(27), organization(27), publisher(27), year(27)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!