Formal Methods Europe
Edit Page
Report
Scan day: 07 February 2014 UTC
15
Virus safety - good
Description: An organisation with the mission of promoting and supporting the industrial use of formal methods for computer systems development. The site contains information on formal methods and on FME itself.
The Program Committee of FM 2014 has completed the paper selection process. See the list of accepted papers. The upcoming Formal Methods conference FM 2014 will be held in Singapore. It takes place May 12-16, 2014 at the National University of Singapore (NUS).
Size: 260 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Formal Methods Europe |
| Keywords: | |
| Description: | |
| IP-address: | 129.27.202.111 |
WHOIS Info
| NS | Name Server:NS0.HOSTING.WEST.NL Name Server:NS1.HOSTING.WEST.NL Name Server: Name Server: Name Server: Name Server: Name Server: Name Server: Name Server: Name Server: Name Server: |
| WHOIS | Status: clientTransferProhibited |
| Date | Creation Date: 2000-03-13T21:26:03Z Expiry Date: 2018-03-13T21:26:03Z |