A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems (2014)

First Author: Mitsch, S
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