Anna Gogolińska

AG

1

Publications

15

Citations

1

H-Index

2018

Active since

Anna Gogolińska is an author specializing in formal methods, computer science, and automated reasoning.

Publications per year

2018–2018

1

Publications

1