FlashExtract

swMATH23097MaRDI QIDQ34881FDOQ34881

Author name not available (Why is that?)

Cited In (2)

• Automatic synthesis of data-flow analyzers
• Programming by predicates: a formal model for interactive synthesis

This page was built for software: FlashExtract