Integrated Formal Methods

Overview of attention for book

Springer International Publishing

Attention for Chapter 7: Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs

Altmetric Badge

Mentioned by

So far, Altmetric has seen 1 X post from an account with 154 followers.

It is paper from Technische Universität Dortmund. The work is from Malte Mues, Till Schallau and Falk Howard. The paper: https://t.co/hErQRBf7ma

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity.