Chrome Extension
WeChat Mini Program
Use on ChatGLM
Research Interests
Java Mde Constraint ...Java Mde Constraint LanguageJava Mde Transformat...Java Mde Transformation LanguageWell-Formed Architec...Well-Formed ArchitectureAnalysisCoq202020162024
20172023

Papers共 3 篇Author StatisticsCo-AuthorSimilar Experts

Author Statistics
00.20.40.60.81#Papers#CitationH-IndexG-IndexSociabilityDiversityActivity

#Papers: 3

#Citation: 7

H-Index: 1

G-Index: 2

Sociability: 1

Diversity: 1

Activity: 0

Loading...
  • 合作者
  • 学生
  • 导师
Dewayne E. Perry合作论文数
Department of Electrical and Computer Engineering, College of Engineering, The University of Texas at Austin;Empirical Software Engineering Laboratory, The University of Texas at Austin1
Don Batory合作论文数
Department of Computer Science, College of Natural Sciences, The University of Texas At Austin1
No result temporarily, you can search similar Scholar with the same research interest
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn