Daniel Baier

Identifiers

• name variant Daniel Baier 0.60 · backfill

Papers (1)

1. Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version) cs.SE · 2024 · author #1

Mentions

• 2409.02094 #1 · arxiv_oai · confidence 0.70 Daniel Baier

Frequent Coauthors

• Dirk Beyer 1 shared papers
• Henrik Wachowitz 1 shared papers
• Marek Jankola 1 shared papers
• Marian Lingsch-Rosenfeld 1 shared papers
• Marie-Christine Jakobs 1 shared papers
• Matthias Kettl 1 shared papers
• Nian-Ze Lee 1 shared papers
• Philipp Wendler 1 shared papers
• Po-Chun Chien 1 shared papers
• Thomas Lemberger 1 shared papers