GENA

swMATH9819MaRDI QIDQ21798FDOQ21798

Author name not available (Why is that?)

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

Cited In (5)

• Title not available (Why is that?)
• Verifying a local generic solver in Coq
• A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
• Cibai
• Title not available (Why is that?)

This page was built for software: GENA