Michael Bantegui

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Top Venues

Formal Aspects Comput.

Publications

Xiang Fu, Michael C. Powell, Michael Bantegui, Chung-Chih Li
Simple linear string constraints. Formal Aspects Comput. 25 (6) (2013)