Zhijie Ren

ZR

1

Publications

13

Citations

1

H-Index

2017

Active since

Zhijie Ren is an author specializing in verification, formal verification, and computer science.

Publications per year

2017–2017

1

Publications

1