Verified resource guarantees using COSTA and KeY

  1. Albert, E.
  2. Bubel, R.
  3. Genaim, S.
  4. Hähnle, R.
  5. Puebla, G.
  6. Román-Díez, G.
Actas:
PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

ISBN: 9781450304856

Año de publicación: 2011

Páginas: 73-76

Tipo: Aportación congreso

DOI: 10.1145/1929501.1929513 GOOGLE SCHOLAR
Fuente de los datos: Scopus