Tzu‐Chun Chen

TC

5

Publications

199

Citations

5

H-Index

2012

Active since

Tzu‐Chun Chen is an author at Imperial College London specializing in program analysis, formal specification, and formal methods.

Publications per year

2012–2024

5

Publications

5