Sign in

Contract-Directed Synthesis of Simple Orchestrators.

Luca Padovani
Published in: CONCUR (2008)
Keyphrases
  • trade off
  • highly reliable
  • program synthesis
  • black box
  • high level
  • supply chain