h1

% IMPORTANT: The following is UTF-8 encoded.  This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.

@ARTICLE{Chechik:1005881,
      author       = {Chechik, Marsha and Katoen, Joost-Pieter},
      title        = {{I}ntroduction to the {S}pecial {C}ollection from {FM}
                      2023},
      journal      = {Formal aspects of computing},
      volume       = {37},
      number       = {1},
      issn         = {1433-299X},
      address      = {London},
      publisher    = {Springer},
      reportid     = {RWTH-2025-02075},
      pages        = {1-2},
      year         = {2025},
      month         = {Mar},
      date          = {2023-03-06},
      organization  = {5. Symposium on Formal Methods,
                       Lübeck (Germany), 6 Mar 2023 - 10 Mar
                       2023},
      cin          = {121310 / 080017 / 120000},
      ddc          = {004},
      cid          = {$I:(DE-82)121310_20140620$ / $I:(DE-82)080017_20140620$ /
                      $I:(DE-82)120000_20140620$},
      typ          = {PUB:(DE-HGF)16},
      UT           = {WOS:001460070800004},
      doi          = {10.1145/3709600},
      url          = {https://publications.rwth-aachen.de/record/1005881},
}