Gérard Basler
发表
Daniel Kroening,
Gérard Basler,
Georg Weissenbacher,
2007,
Haifa Verification Conference.
Daniel Kroening,
Gérard Basler,
Thomas Wahl,
2010,
Formal Methods Syst. Des..
Daniel Kroening,
Gérard Basler,
Thomas Wahl,
2012,
TACAS.
Daniel Kroening,
Gérard Basler,
Georg Weissenbacher,
2007,
SPIN.
Daniel Kroening,
Gérard Basler,
Thomas Wahl,
2009,
CAV.
Daniel Kroening,
C.-H. Luke Ong,
Gérard Basler,
2010,
TACAS.
Thomas Ball,
Gérard Basler,
Iulian Neamtiu,
2008,
OSDI.