Galin Georgıev

GG

1

Publications

12

Citations

1

H-Index

1998

Active since

Galin Georgıev is an author specializing in formal verification, engineering, and computer science.

Publications per year

1998–1998

1

Publications

1