Garvit Juniwal
发表
Rajeev Alur,
Rastislav Bodik,
Garvit Juniwal,
2013,
FMCAD 2013.
Garvit Juniwal,
Garvit Juniwal,
2014
.
Garvit Juniwal,
Sanjit A. Seshia,
Xiaoqing Jin,
2015,
Formal Methods in System Design.
Rajeev Alur,
Garvit Juniwal,
Milo M. K. Martin,
2013,
2013 Formal Methods in Computer-Aided Design.
Garvit Juniwal,
Sanjit A. Seshia,
Sakshi Jain,
2015,
L@S.
Garvit Juniwal,
Sanjit A. Seshia,
Alexandre Donzé,
2014,
2014 International Conference on Embedded Software (EMSOFT).
Garvit Juniwal,
Sanjit A. Seshia,
Xiaoqing Jin,
2017,
Formal Methods Syst. Des..
George Varghese,
Nikolaj Bjørner,
Garvit Juniwal,
2016,
Haifa Verification Conference.
Garvit Juniwal,
Samin Ishtiaq,
Nir Piterman,
2014,
CAV.