Validating trustworthy service composition through VIPLE and pi-calculus
2020 ◽
Vol 15
(1/2)
◽
pp. 76
2020 ◽
Vol 15
(1/2)
◽
pp. 76