PROVABLY CORRECT
Experts
- Giuseppe De Giacomo
- Yves Lespérance
- Hector J. Levesque
- Stefania Gnesi
- Jonathan P. Bowen
- Gerhard Lakemeyer
- Alessandro Fantechi
- Enrique Otárola
- Maurice H. ter Beek
- John M. Rushby
- Antonella Santone
- Michael G. Hinchey
- Fabio Patrizi
- Constance L. Heitmeyer
- Mikhail Soutchanski
- Eduardo Casas
- Susan L. Gerhart
- Alessio Ferrari
- Adrian R. Pearce
- Davide Sangiorgi
- Yongmei Liu
- Raymond Reiter
- Dan Craigen
- Francesco Mercaldo
- Wenbin Liu
- Yanping Chen
- Tiziana Margaria
- Marieke Huisman
- Anthony Hall
- Konstantinos Chrysafinos
- Robert Demolombe
- Heike Wehrheim
- Joseph A. Goguen
- Maurizio Gabbrielli
- Davide Basile
- Calin Belta
- Jeannette M. Wing
- Carroll Morgan
- Peter Gorm Larsen
Venues
- CoRR
- SIAM J. Numer. Anal.
- Theor. Comput. Sci.
- Numerische Mathematik
- Math. Comput.
- Electron. Notes Theor. Comput. Sci.
- FM
- Sci. Comput. Program.
- ICFEM
- IJCAI
- J. Comput. Appl. Math.
- IEEE Trans. Software Eng.
- J. Sci. Comput.
- KR
- IFM
- SEFM
- Formal Aspects Comput.
- Appl. Math. Comput.
- Comput. Math. Appl.
- Int. J. Softw. Tools Technol. Transf.
- SBMF
- Comput. J.
- Adv. Comput. Math.
- Commun. ACM
- Numer. Algorithms
- FORTE
- MFCS
- FMICS
- ICSE
- Comput. Optim. Appl.
- J. Syst. Softw.
- Inf. Comput.
- POPL
- Computing
- Artif. Intell.
- Computer
- Fundam. Informaticae
- FMCAD
- ACM SIGSOFT Softw. Eng. Notes
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend