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