• 93 Experiences with So...
• Formal specification a...
• Software design, speci...
• Specification-driven f...
• M. Functional programm...
• Catgory 6A UTP Patch C...
• Experiences from an Ex...
• System description pro...
• Software design for re...
• Formal specification o...