GENA

MaRDI QIDQ21798swMATHFDO

Official website http://link.springer.com/chapter/10.1007/3-540-60360-3_53

Cited in

(6)

• Verifying a local generic solver in Coq
• scientific article; zbMATH DE number 2117132 (Why is no real title available?)
• scientific article; zbMATH DE number 1251178 (Why is no real title available?)
• PAG
• Cibai
• A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs

This page was built for software: GENA