The Collection of
Computer Science Bibliographies

AFADL

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

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

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: