Amphion

swMATH9953MaRDI QIDQ21932FDOQ21932

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/3-540-58495-1_33

Cited In (5)

• Bugs, moles and skeletons: symbolic reasoning for software development
• mural
• PARIS
• Title not available (Why is that?)
• Deduction-based software component retrieval

This page was built for software: Amphion