Concepedia

Author

Sana Stojanović

Also Known As

Sana Stojanović, Sana Stojanović Djurdjević, Sana Stojanović Ðurđević, Sana Stojanović-Ðurđević, Sana Stojanović-Đurđević, Stojanovic, Sana

11

Publications

81

Citations

5

H-Index

6

Concepts

All Affiliations

SS

About

Sana Stojanović is an author at Université de Strasbourg specializing in formal verification, formal methods, and verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

21

2

Computer Science

1

1

21

3

Automated Reasoning

1

1

21

4

Formal Methods

1

1

21

5

Formal Verification

1

1

21