%0 Conference Paper %1 conf/icdcn/Seshia13 %A Seshia, Sanjit A. %B ICDCN %D 2013 %E Frey, Davide %E Raynal, Michel %E Sarkar, Saswati %E Shyamasundar, Rudrapatna K. %E Sinha, Prasun %I Springer %K dblp %P 1-10 %T Verifying High-Confidence Interactive Systems: Electronic Voting and Beyond. %U http://dblp.uni-trier.de/db/conf/icdcn/icdcn2013.html#Seshia13 %V 7730 %@ 978-3-642-35668-1

@inproceedings{conf/icdcn/Seshia13, added-at = {2017-05-25T00:00:00.000+0200}, author = {Seshia, Sanjit A.}, biburl = {https://www.bibsonomy.org/bibtex/260f67f9ee01c2f2683f723a0d0c77c25/dblp}, booktitle = {ICDCN}, crossref = {conf/icdcn/2013}, editor = {Frey, Davide and Raynal, Michel and Sarkar, Saswati and Shyamasundar, Rudrapatna K. and Sinha, Prasun}, ee = {https://doi.org/10.1007/978-3-642-35668-1_1}, interhash = {f42fd17db614c8b8c5856f050c70c689}, intrahash = {60f67f9ee01c2f2683f723a0d0c77c25}, isbn = {978-3-642-35668-1}, keywords = {dblp}, pages = {1-10}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:13:46.000+0200}, title = {Verifying High-Confidence Interactive Systems: Electronic Voting and Beyond.}, url = {http://dblp.uni-trier.de/db/conf/icdcn/icdcn2013.html#Seshia13}, volume = 7730, year = 2013 }