Concepedia

Author

Serban D. Constantin

Southern Methodist University

Also Known As

Serban D. Constantin

4

Publications

126

Citations

2

H-Index

5

Concepts

All Affiliations

Southern Methodist University
SD

About

Serban D. Constantin is an author at Southern Methodist University specializing in formal methods, formal verification, and verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

119

2

Coding Theory

1

1

119

3

Formal Methods

1

1

119

4

Formal Verification

1

1

119

5

Verification

1

1

119

Serban D. Constantin

×

1

Publications

119

Citations

1

H-Index

YearCitations

Page 1