Concepedia

Author

Sana Stojanović

Université de StrasbourgORCID

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

Université de Strasbourg
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

Sana Stojanović

×

1

Publications

21

Citations

1

H-Index

YearCitations

Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry

Sana Stojanović, Julien Narboux, Predrag Janičić

Annals of Mathematics and Artificial Intelligence

2015

21

Page 1