Gil Vegliach
发表
Jan-Christoph Küster,
Andreas Bauer,
Gil Vegliach,
2013,
RV.
Jan-Christoph Küster,
Andreas Bauer,
Gil Vegliach,
2015,
Formal Methods Syst. Des..
Jan-Christoph Küster,
Andreas Bauer,
Gil Vegliach,
2012,
NASA Formal Methods.
Werner Nutt,
Simon Razniewski,
Gil Vegliach,
2012,
DASFAA Workshops.