CfPBoK
by
Vadim Zaytsev
Bram Vandenbogaerde
SLE 2023
⭐
Summary
1
papers in
1
bundles
Top 3 popular topics:
T5D: Formal Methods
(
1
times)
T4A: Workbenches
(
1
times)
T5H: Usability
(
1
times)
Top 2 coauthors:
Mats Van Molle
(
1
times)
Coen De Roover
(
1
times)
Made
1
contributions (see below)
List of contributions
(
SLE 2023
)
Coauthored
Cross-Level Debugging for Static Analysers
(
Mats Van Molle
,
Bram Vandenbogaerde
,
Coen De Roover
)
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.
