Login / Signup

Formal modeling and verification of complex interactions in e-government applications.

Meng SunYi Li
Published in: ICEGOV (2014)
Keyphrases