[Haskell] Deadline Extension: JSC Special Issue on Automated Specification and Verification of Web Systems

demis at dimi.uniud.it demis at dimi.uniud.it
Mon Nov 23 06:49:47 EST 2009

Previous message: [Haskell] VSTTE 2010: Verified Software -- Second Call for Papers
Next message: [Haskell] Announcing Haskell 2010
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Skipped content of type multipart/alternative

Previous message: [Haskell] VSTTE 2010: Verified Software -- Second Call for Papers
Next message: [Haskell] Announcing Haskell 2010
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Haskell mailing list