Capítulo de livro
Acesso aberto
Revisado por pares
CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers
2025; Springer Science+Business Media; Linguagem: Inglês
10.1007/978-3-031-78750-8_8
ISSN1611-3349
AutoresDirk Beyer, Thomas R. Lemberger, Henrik Wachowitz,
Tópico(s)Security and Verification in Computing
Referência(s)