We stand with Ukraine  

fm-weck

According to our database1, fm-weck authored at least 4 papers in 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
OCI Container Image for Test-Comp 2026 (afltc).
[BibTeX]
[DOI]
fm-weck
,
Dirk Beyer
Dataset, December, 2025

OCI Container Image for Test-Comp 2026 (afltc) (failed).
[BibTeX]
[DOI]
fm-weck
,
Dirk Beyer
Dataset, December, 2025

OCI Container Image for SV-COMP 2026.
[BibTeX]
[DOI]
fm-weck
,
Dirk Beyer
Dataset, December, 2025

OCI Container Image for SV-COMP 2026 (wit4java).
[BibTeX]
[DOI]
fm-weck
,
Dirk Beyer
Dataset, December, 2025


  Loading...