[Haskell] formal verification for functional programming languages

Wolfgang Jeltsch wolfgang at jeltsch.net
Fri Nov 4 06:13:03 EST 2005


where can I find information about formal verification techniques and tools 
for functional programming languages?  Both introductionary texts and current 
research papers etc. are welcome.

Best wishes,

More information about the Haskell mailing list