FALSE ACCEPTANCE
Experts
- Jun Sun
- Jing Liu
- Mariëlle Stoelinga
- Matthias Volk
- Karem A. Sakallah
- Sebastian Junges
- Nils Jansen
- Thom S. Badings
- Jérôme Leroux
- Sen Wang
- Brian Bailey
- Gregory Butler
- Masamichi Kawarabayashi
- Alexander Kittelmann
- Matthew J. Parkinson
- Quentin Cappart
- Sirui Wang
- Quentin Johnson
- Peter W. O'Hearn
- Shengchao Qin
- Charles Pecheur
- Virginie Wiels
- Mostafa Ali Shahin
- Pradip A. Thaker
- Babasaheb Patil
- Franck Cassez
- Moshe Levinger
- Gergö Barany
- Igor Konnov
- Éric Ivanov
- Brian Kahne
- Joo-Kyung Kim
- Jean-Claude Fernandez
- Malcolm Munro
- Frédéric Mallet
- Maurizio Proietti
- Pierre Ganty
- Alfonso Ortega Giménez
- Aleksandra Zakrzewska
Venues
- CoRR
- Int. J. Softw. Tools Technol. Transf.
- INTERSPEECH
- DAC
- MBMV
- ICFEM
- FMCAD
- NASA Formal Methods
- Electron. Notes Theor. Comput. Sci.
- HLDVT
- ICALP
- FICTA (2)
- CAV (2)
- ICETET
- CSF
- APSEC
- INTERACT (3)
- Proc. ACM Program. Lang.
- CONCUR
- TAP@STAF
- Int. J. Softw. Eng. Knowl. Eng.
- ARCH@CPSWeek
- IEEE Secur. Priv.
- Inf. Process. Lett.
- CAV (1)
- J. Syst. Softw.
- ACM Trans. Program. Lang. Syst.
- ICPR
- SAC
- EUROVAV
- TASE
- ICECCS
- Int. J. Appl. Decis. Sci.
- SoC
- DISC
- ISoLA (1)
- ACM SIGLOG News
- WSC
- ACM Trans. Softw. Eng. Methodol.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend