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.

Integrating SMT-Solvers in Z and B Tools

Alessandro Cavalcante Gurgel, Valério Gutemberg de Medeiros, Marcel Vinicius Medeiros Oliveira, David Boris Paul Déharbe. Integrating SMT-Solvers in Z and B Tools. In Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves, editors, Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. Volume 5977 of Lecture Notes in Computer Science, pages 412-413, Springer, 2010. [doi]

Authors

Alessandro Cavalcante Gurgel

This author has not been identified. Look up 'Alessandro Cavalcante Gurgel' in Google

Valério Gutemberg de Medeiros

This author has not been identified. Look up 'Valério Gutemberg de Medeiros' in Google

Marcel Vinicius Medeiros Oliveira

This author has not been identified. Look up 'Marcel Vinicius Medeiros Oliveira' in Google

David Boris Paul Déharbe

This author has not been identified. Look up 'David Boris Paul Déharbe' in Google
runs on