Jonathan Kotker
发表
Sarah E. Chasins,
R. Bodík,
S. Seshia,
2013
.
Sanjit A. Seshia,
Jonathan Kotker,
S. Seshia,
2011,
TACAS.