Cloud-scale runtime verification of serverless applications
- Kalev Alpernas*
- , Aurojit Panda
- , Leonid Ryzhyk
- , Mooly Sagiv
*Corresponding author for this work
- New York University
- Dell
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
17
Scopus
citations