CfPBoK
by
Vadim Zaytsev
German Vega
SLE 2026
⭐
🏆
Summary
1
papers in
1
bundles
Top 3 popular topics:
T4A: Workbenches
(
1
times)
T5D: Formal Methods
(
1
times)
T1C: Behavioural Semantics
(
1
times)
Top coauthor:
Akram Idani
(
1
times)
Made
2
contributions (see below)
List of contributions
(
SLE 2026
)
Coauthored
Engineering Verified Model Transformations through a Proof-Based Language Workbench
(
Akram Idani
,
German Vega
)
(
SLE 2026
)
Received
Distinguished Artefact Award
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: July 2026.
