Publications
Bookmarks
Contacts
Stage RSS Feeds
|
Name:Institution:Formal Methods Europe (FME)Position:Location:Field of Science:Science - Computer Science - Formal MethodsWebsite / Blog:www.fmeurope.orgOnline Status:
|
About my Work:Formal Methods Europe (FME) - Worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software. Formal Methods Europe Projects:Vita / Publications: |
Grants and Awards:About my Institution:Additional Information: |