Login / Signup

Incremental Development of RBAC-Controlled E-Marking System Using the B Method.

Nasser Al-HadhramiBenjamin AzizShantanu SardesaiLotfi Ben Othmane
Published in: ARES (2015)
Keyphrases