SPARK 2014 and GNATprove.
Saved in:
| Title: | SPARK 2014 and GNATprove. |
|---|---|
| Authors: | Hoang, Duc1, duc.hoang@epfl.ch, Moy, Yannick2, yannick.moy@adacore.com, Wallenburg, Angela3, angela.wallenburg@altran.com, Chapman, Roderick3, rod.chapman@altran.com |
| Source: | International Journal on Software Tools for Technology Transfer; Nov2015, Vol. 17 Issue 6, p695-707, 13p |
| Database: | Applied Science & Technology Source |
| ISSN: | 14332779 |
|---|---|
| DOI: | 10.1007/s10009-014-0322-5 |
