logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
M

Marten Voorberg

royal institute of technology

0H-index
3Paper Count
0Citation Count
Published Papers 1
Publication Date
logo
A program instrumentation framework for automatic verification
errFormal Methods in System Design
IF0.8
err2026-03-20
err0
PREAI
errAmilon, Jesper; Esen, Zafer; Gurov, Dilian; Lidstrom, Christian; Rummer, Philipp; Voorberg, Marten
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
D
Dilian Gurov
H-index: 0 · Papers: 3
J
Jesper Amilon
H-index: 0 · Papers: 3
P
Philipp Rümmer
H-index: 0 · Papers: 3
E
Esen, Zafer
H-index: 0 · Papers: 2
All loaded