Amphion

MaRDI QIDQ21932swMATHFDO

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

Cited in

(5)

• mural
• PARIS
• Bugs, moles and skeletons: symbolic reasoning for software development
• scientific article; zbMATH DE number 1748586 (Why is no real title available?)
• Deduction-based software component retrieval

This page was built for software: Amphion