Conference Proceedings

Modular Formalisation and Verification of STV Algorithms

Milad K Ghale, Rajeev Gore, Dirk Pattinson, Mukesh Tiwari, R Krimmer (ed.), M Volkamer (ed.), V Cortier (ed.), R Gore (ed.), M Hapsara (ed.), U Serdult (ed.), D DuenasCid (ed.)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | SPRINGER INTERNATIONAL PUBLISHING AG | Published : 2018