A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems (2014)
Attributed to:
Automatic Proof Procedures for Polynomials and Special Functions
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://www.cs.bham.ac.uk/research/projects/formare/events/aisb2013/submissions/stage2/99990008.pdf
Type: Conference/Paper/Proceeding/Abstract
Parent Publication: Proceedings of Enabling Domain Experts to use Formalised Reasoning - Symposium AISB, Do-Form