Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs

Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs

Detalles Bibliográficos
Main Authors: Schrammel, P, Jeannet, B
Formato: Conference item
Publicado: Springer 2011
Descripción
Summary:

Títulos similares