CfPBoK
by
Vadim Zaytsev
German Vega
SLE 2026
⭐
Summary
1
papers in
1
bundles
Most popular tag:
T4A: Workbenches
(
1
times)
Top coauthor:
Akram Idani
(
1
times)
Made
1
contributions (see below)
List of contributions
(
SLE 2026
)
Coauthored
Engineering Verified Model Transformations through a Proof-Based Language Workbench
(
Akram Idani
,
German Vega
)
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.
