Serban D. Constantin

SD

1

Publications

119

Citations

1

H-Index

1979

Active since

Affiliations

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

Publications per year

1979–1979

1

Publications

1