@inbook{c2,
  author         = {Arceri, Vincenzo and Negrini, Luca and Zanatta,
                    Giacomo and Bianchi, Filippo and Lisovenko, Teodors
                    and Olivieri, Luca and Ferrara, Pietro},
  title          = {JLiSA: The Java Frontend of the Library for Static
                    Analysis (Competition Contribution)},
  booktitle      = {Tools and Algorithms for the Construction and
                    Analysis of Systems},
  shortbooktitle = {TACAS},
  pages          = {543--550},
  publisher      = {Springer Nature Switzerland},
  venue          = {Turin, Italy},
  eventdate      = {2026-04-11/2026-04-16},
  month          = apr,
  year           = {2026},
  isbn           = {9783032227492},
  issn           = {1611-3349},
  doi            = {10.1007/978-3-032-22749-2_30},
  url            = {http://dx.doi.org/10.1007/978-3-032-22749-2_30},
}