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
- Michael G. Hinchey
- John M. Rushby
- Antonella Santone
- Mikhail Soutchanski
- Susan L. Gerhart
- Constance L. Heitmeyer
- Alessio Ferrari
- Fabio Patrizi
- Eduardo Casas
- Yongmei Liu
- Raymond Reiter
- Dan Craigen
- Davide Sangiorgi
- Adrian R. Pearce
- Tiziana Margaria
- Konstantinos Chrysafinos
- Robert Demolombe
- Yanping Chen
- Wenbin Liu
- Heike Wehrheim
- Marieke Huisman
- Anthony Hall
- Francesco Mercaldo
- Joseph A. Goguen
- Calin Belta
- Maurizio Gabbrielli
- Wlodzimierz Drabent
- Franco Mazzanti
- Peter Gorm Larsen
- Carroll Morgan
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
- Formal Aspects Comput.
- SEFM
- Appl. Math. Comput.
- Comput. Math. Appl.
- Int. J. Softw. Tools Technol. Transf.
- Comput. J.
- SBMF
- Commun. ACM
- ICSE
- Numer. Algorithms
- MFCS
- FORTE
- Adv. Comput. Math.
- FMICS
- Comput. Optim. Appl.
- J. Syst. Softw.
- Artif. Intell.
- POPL
- Computer
- Computing
- Inf. Comput.
- AAAI
- FMCAD
- Fundam. Informaticae
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend