External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Algebraic Techniques in Software Verification : Challenges and Opportunities

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]

Authors

Martin Brain

This author has not been identified. Look up 'Martin Brain' in Google

Daniel Kroening

This author has not been identified. Look up 'Daniel Kroening' in Google

Ryan McCleeary

This author has not been identified. Look up 'Ryan McCleeary' in Google
runs on