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
- John M. Rushby
- Antonella Santone
- Michael G. Hinchey
- Susan L. Gerhart
- Mikhail Soutchanski
- Alessio Ferrari
- Constance L. Heitmeyer
- Fabio Patrizi
- Eduardo Casas
- Dan Craigen
- Davide Sangiorgi
- Yongmei Liu
- Adrian R. Pearce
- Raymond Reiter
- Anthony Hall
- Robert Demolombe
- Joseph A. Goguen
- Francesco Mercaldo
- Tiziana Margaria
- Yanping Chen
- Wenbin Liu
- Konstantinos Chrysafinos
- Heike Wehrheim
- Marieke Huisman
- Peter Gorm Larsen
- Jeannette M. Wing
- Robert L. Glass
- Cliff B. Jones
- Ralph-Johan Back
- Hartmut Ehrig
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
- MFCS
- Adv. Comput. Math.
- ICSE
- FORTE
- Commun. ACM
- FMICS
- Numer. Algorithms
- J. Syst. Softw.
- Comput. Optim. Appl.
- Inf. Comput.
- POPL
- Computing
- Artif. Intell.
- Computer
- Fundam. Informaticae
- AAAI
- FMCAD
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend