SyPet

swMATH21706MaRDI QIDQ33508FDOQ33508

Author name not available (Why is that?)

Described by source

• Component-based synthesis for complex APIs

Cited In (2)

• Long-Run Average Behavior of Vector Addition Systems with States
• Programming by predicates: a formal model for interactive synthesis

This page was built for software: SyPet