Gianluca Turin

Joint Papers

• A Formal Model of the Kubernetes Container Framework