Formalising the Requirements of an E-Voting Software Product Line Using Event-B.

Abderrahim Ait Wakrime, J. Paul Gibson, Jean-Luc Raffy

Browse the full WETICE paper archive.