Formal Methods Educational Materials
Edit Page
Report
Scan day: 09 February 2014 UTC
4
Virus safety - good
Description: A repository for information related to formal methods in education, including pointers to existing courses and suggestions for examples and projects.
Formal Methods Educational Resources Welcome to the formal methods educational resources page. This site serves as a repository for information related to formal methods in education, including , held in March 1998. It is an official sub-collection of the
Size: 255 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Formal Methods Educational Resources |
| Keywords: | |
| Description: | |
| IP-address: | 129.79.247.195 |
WHOIS Info
| NS | Name Servers: DNS1.IU.EDU DNS2.IU.EDU |
| WHOIS | |
| Date | activated: 03-Mar-1986 last updated: 22-May-2013 expires: 31-Jul-2014 |