4 Nov
2005
4 Nov
'05
12:13 p.m.
Hello, 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, Wolfgang