Login / Signup

The 'Cash-Point' Service: A Verification Case Study Using STeP.

Anca BrowneBernd FinkbeinerZohar MannaHenny Sipma
Published in: Formal Aspects Comput. (2000)
Keyphrases