Development of a Verified Erlang Program for Resource Locking
Edit Page
Report
Scan day: 03 March 2014 UTC
1
Virus safety - good
Description: Thomas Arts and Clara Benac Earle. Proceedings from EUC 2001, Stockholm. (Slides)
(September 28, 2001)
Formally Verified Erlang Programsa case study
Size: 45 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Development of |
| Keywords: | |
| Description: | |
| IP-address: | 192.121.151.100 |
WHOIS Info
| NS | |
| WHOIS | status: ok |
| Date | created: 1997-06-11 expires: 2014-12-31 |