The Collection of
Computer Science Bibliographies

2nd South-East European Workshop on Formal Methods (SEEFM05) Proceedings

Number of references:	19	Last update:	January 8, 2007
Number of online publications:	19	Supported:	yes
Most recent reference:	June 2006

Author:: George Eleftherakis <eleftherakis @ city . academic . gr> (email mangled to prevent spamming)
Computer Science Department of City College, Thessaloniki, Greece Affiliated Institution of the University of Sheffield
Abstract:: This book is the final product of the 2nd South East European Workshop on Formal Methods (SEEFM05) with theme: "Practical dimensions: Challenges in the business world" which took place in Ohrid on November 2005. The event contributes directly to the mission of the South East European Research Centre (SEERC), which is to support the development of South East Europe by conducting pure and applied research in and for the region. SEEFM targets to disseminate knowledge related to the area of formal methods in South East Europe countries.
Keywords:: Formal Methods

Original source:

http://www.seefm.info... (Format: bibtex, compressed with gzip)

Types:: inproceedings(19)
Fields:: abstract(19), author(19), booktitle(19), editor(19), isbn(19), month(19), pages(19), publisher(19), title(19), url(19), year(19)
Distribution of publication dates: