Towards Reliable E-Government Systems with the OTS/CafeOBJ Method.

Published in: IEICE Trans. Inf. Syst. (2010)

Keyphrases