The Collection of
Computer Science Bibliographies

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

[   About   |  Browse   |   Statistics   ]

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

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:
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

Browsing the bibliography

Bibliographic Statistics

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:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!