Fourfold increase in productivity and quality: Industrial-strength functional programming in telecom-class products (0)

by U wiger
Venue:In Proceedings of the Workshop on Formal Design of Safety Critical Embedded Systems (Münich