Martin Brain, Daniel Kroening, Ryan McCleeary. Algebraic Techniques in Software Verification : Challenges and Opportunities. In Erika Ábrahám, James H. Davenport, Pascal Fontaine, editors, Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), Timisoara, Romania, September 24, 2016. Volume 1804 of CEUR Workshop Proceedings, pages 8-12, CEUR-WS.org, 2016. [doi]
@inproceedings{BrainKM16, title = {Algebraic Techniques in Software Verification : Challenges and Opportunities}, author = {Martin Brain and Daniel Kroening and Ryan McCleeary}, year = {2016}, url = {http://ceur-ws.org/Vol-1804/paper-03.pdf}, researchr = {https://researchr.org/publication/BrainKM16}, cites = {0}, citedby = {0}, pages = {8-12}, booktitle = {Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), Timisoara, Romania, September 24, 2016}, editor = {Erika Ábrahám and James H. Davenport and Pascal Fontaine}, volume = {1804}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }