ABSTRACT INTERPRETATION
Experts
- Patrick Cousot
- Roberto Giacobazzi
- Antoine Miné
- Agostino Cortesi
- Radhia Cousot
- Francesco Ranzato
- Manuel V. Hermenegildo
- Flemming Nielson
- Daniel Kroening
- Thomas P. Jensen
- María-del-Mar Gallardo
- Hanne Riis Nielson
- Isabella Mastroeni
- Pietro Ferrara
- Edmund M. Clarke
- Baudouin Le Charlier
- Helmut Seidl
- Andreas Podelski
- Francesco Logozzo
- Eric Bodden
- Joost-Pieter Katoen
- Christian Ferdinand
- Maurice Bruynooghe
- Aleksandar S. Dimovski
- David Monniaux
- Roberta Gori
- Ahmed Bouajjani
- Kwangkeun Yi
- Nicoletta De Francesco
- David Pichardie
- Coen De Roover
- Mila Dalla Preda
- Pedro Merino
- Matthew B. Dwyer
- Sukyoung Ryu
- Gilberto Filé
- Willem Visser
- Germán Puebla
- Abdelraouf Ouadjaout
Venues
- CoRR
- SAS
- VMCAI
- Electron. Notes Theor. Comput. Sci.
- SPIN
- Sci. Comput. Program.
- ASE
- Int. J. Softw. Tools Technol. Transf.
- Proc. ACM Program. Lang.
- Theor. Comput. Sci.
- TACAS
- ICSE
- CAV
- ACM Trans. Program. Lang. Syst.
- POPL
- ISSTA
- IEEE Trans. Software Eng.
- ESOP
- ESEC/SIGSOFT FSE
- IEEE Access
- Softw. Pract. Exp.
- SCAM
- SOAP@PLDI
- APLAS
- SAC
- FMCAD
- ICLP
- SEFM
- Inf. Comput.
- ACM SIGSOFT Softw. Eng. Notes
- PEPM
- FASE
- Formal Methods Syst. Des.
- PLDI
- LOPSTR
- PPDP
- ECOOP
- ICRA
- SANER
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend