Applying a Dependency Mechanism for Voting Protocol Models Using Event-B.

J. Paul Gibson, Souad Kherroubi, Dominique Mry

Browse the full FORTE paper archive.