Rafal Kolanski

RK

Statistics

Publications

11

Citations

2.3K

H-Index

10

Active since

2006

Affiliations

Rafal Kolanski is an author at Data61 specializing in formal methods, computer science, and computing.

Publications per year

2006–2014

11

Publications

11