2024-journal.bib

@comment{{This file has been generated by bib2bib 1.99}}

@comment{{Command line: bib2bib -q -oc 2024-journal.cite -ob 2024-journal.bib -c 'year = 2024 and topics : "team" and $type="article"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@article{andres24tasep,
  topics = {team},
  title = {{Owi}: Performant Parallel Symbolic Execution Made Easy, an Application to {WebAssembly}},
  author = {Andr{\`e}s, L{\'e}o and Marques, Filipe and Carcano, Arthur and Chambart, Pierre and Fragoso Femenin dos Santos, Jos{\'e} and Filli{\^a}tre, Jean-Christophe},
  hal = {https://hal.science/hal-04627413},
  journal = {The Art, Science, and Engineering of Programming},
  publisher = {aosa, Inc.},
  volume = 9,
  number = 2,
  year = 2024
}