[Haskell] CFP: 1st Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'05)

2004-12-20 Thread Santiago Escobar
-- We apologize for multiple copies -- *** 1st International Workshop on Automated Specification and Verification of Web Sites (WWV'05) March 14-15 2005, Valencia, SPAIN

[Haskell] CFP: 1st Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'05)

2004-11-20 Thread Santiago Escobar
[ We apologize for multiple copies ] *** 1st International Workshop on Automated Specification and Verification of Web Sites (WWV'05) March 14-15 2005, Valencia, SPAIN