Emina Torlak 人物
相关论文查看全部 (2)
Syntax-guided synthesis
2013引用 518
Kodkod: A Relational Model Finder
2007Lecture notes in computer science引用 488
相关公司查看全部 (1)
University of California, BerkeleyUNIVERSITY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据