R. Enders
发表
David Chan,
Micha Meier,
Joachim Schimpf,
1989,
IFIP Congress.
Somesh Jha,
Edmund M. Clarke,
Thomas Filkorn,
1993,
Formal Methods Syst. Des..