GENA

swMATH9819MaRDI QIDQ21798FDOQ21798

Author name not available (Why is that?)

Cited In (4)

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

This page was built for software: GENA