| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 6875329 | Science of Computer Programming | 2015 | 10 Pages |
Abstract
While we provide a particular focus on Goanna and our experience with that underlying technology, we believe that many of those aspects hold true for the wider field of formal analysis and verification technology and its adoption in industry.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Ralf Huuck,