Conference Proceedings

Modular Formalisation and Verification of STV Algorithms

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

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