Translating Software Designs for Model Checking.

Thu, 01 Jan 2004 00:00:00 +0100

Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne:
Translating Software Designs for Model Checking. FASE 2004: 324-338