[W1] bibtex record

Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA

@inproceedings{w1,
  author         = {Zanatta, Giacomo and Ferrara, Pietro and Lisovenko,
                    Teodors and Negrini, Luca and Caiazza, Gianluca and
                    White, Ruffin},
  title          = {Sound Static Analysis for Microservices: Utopia? A
                    Preliminary Experience with LiSA},
  booktitle      = {Proceedings of the 26th ACM International Workshop
                    on Formal Techniques for Java-like Programs},
  shortbooktitle = {FTfJP},
  series         = {FTfJP '24},
  collection     = {FTfJP '24},
  pages          = {5--10},
  publisher      = {ACM},
  venue          = {Vienna, Austria},
  eventdate      = {2024-09-20},
  month          = sep,
  year           = {2024},
  doi            = {10.1145/3678721.3686229},
  url            = {http://dx.doi.org/10.1145/3678721.3686229},
}