Login / Signup
On-the-fly construction of provably correct service compositions - templates and proofs.
Sven Walther
Heike Wehrheim
Published in:
Sci. Comput. Program. (2016)
Keyphrases
</>
provably correct
service compositions
formal methods
situation calculus
web services
construction process
service providers
theorem prover
theorem proving