Configuring Non-Local Interfaces of Closed-Sourced Cloud Services
Zaichenkov, P., Tveretina, O.& Shafarenko, A.2016Research output: Contribution to conference› Paper
| Original language | English |
|---|---|
| State | Accepted/In press - 2016 |
Conference
| Conference | iFMCloud'16: The First International Workshop on Formal Methods for and on the Cloud |
|---|---|
| Country | Iceland |
| Period | 4/06/16→ … |