Property Directed Self Composition.

Ron Shemer Arie Gurfinkel Sharon Shoham Yakir Vizel

Published in: CAV (1) (2019)

Keyphrases

data sets
web service composition
real world
artificial intelligence
social networks
image sequences
management system