[email protected]

konnov.phd Vienna, Austria Independent Security and Formal Methods Research Scientist

Results 1 repositories owned by


                                            [email protected]

Stars

Forks

Watchers

Byzantine model checker