CodeHint

swMATH21708MaRDI QIDQ33510FDOQ33510

Author name not available (Why is that?)

Cited In (2)

• Component-based synthesis for complex APIs
• Programming by predicates: a formal model for interactive synthesis

This page was built for software: CodeHint