PROVABLY CORRECT
Experts
- Giuseppe De Giacomo
- Yves Lespérance
- Hector J. Levesque
- Stefania Gnesi
- Jonathan P. Bowen
- Gerhard Lakemeyer
- Alessandro Fantechi
- Maurice H. ter Beek
- Enrique Otárola
- Antonella Santone
- Michael G. Hinchey
- John M. Rushby
- Constance L. Heitmeyer
- Fabio Patrizi
- Susan L. Gerhart
- Mikhail Soutchanski
- Alessio Ferrari
- Eduardo Casas
- Adrian R. Pearce
- Davide Sangiorgi
- Raymond Reiter
- Dan Craigen
- Yongmei Liu
- Anthony Hall
- Heike Wehrheim
- Konstantinos Chrysafinos
- Joseph A. Goguen
- Wenbin Liu
- Francesco Mercaldo
- Tiziana Margaria
- Yanping Chen
- Marieke Huisman
- Robert Demolombe
- Bertrand Meyer
- Carroll Morgan
- Calin Belta
- Wlodzimierz Drabent
- Hartmut Ehrig
- Ralph-Johan Back
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.
- KR
- J. Sci. Comput.
- IFM
- Formal Aspects Comput.
- SEFM
- Appl. Math. Comput.
- Comput. Math. Appl.
- Int. J. Softw. Tools Technol. Transf.
- SBMF
- Comput. J.
- FORTE
- MFCS
- ICSE
- Adv. Comput. Math.
- Commun. ACM
- Numer. Algorithms
- FMICS
- J. Syst. Softw.
- Comput. Optim. Appl.
- Artif. Intell.
- Computer
- POPL
- Computing
- Inf. Comput.
- Fundam. Informaticae
- ACM SIGSOFT Softw. Eng. Notes
- FMCAD
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend