4 Nov
2005
4 Nov
'05
11:13 a.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