Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1 Publication
2005 |
Published |
Conference Paper |
IST-REx-ID: 4579
Beyer D, Henzinger TA, Jhala R, Majumdar R. Checking memory safety with BLAST. In: Proceedings of the 8th International Conference, Held as Part of the Joint European Conference on Theory and Practice of Software Conference on Fundamental Approaches to Software Engineering. Vol 3442. Springer Nature; 2005:2-18. doi:10.1007/978-3-540-31984-9_2
View
| DOI