Login / Signup

A Case Study of Model Checking Retail Banking System with SPIN.

Huiling ShiWenke MaMeihong YangXinchang Zhang
Published in: J. Comput. (2012)
Keyphrases