Login / Signup
Synthesis of large dynamic concurrent programs from dynamic specifications.
Paul C. Attie
Published in:
Formal Methods Syst. Des. (2016)
Keyphrases
</>
object oriented
artificial intelligence
database systems
business processes