Marcel Keller

MK

12

Publications

789

Citations

11

H-Index

2013

Active since

Marcel Keller is an author at Data61 specializing in computer science, engineering, and formal verification.

Publications per year

2013–2022

12

Publications

12