REFINEMENT PROCESS
Experts
- John Derrick
- Eerke A. Boiten
- Ana Cavalcanti
- Jim Woodcock
- Heike Wehrheim
- Steve Reeves
- Viorel Preoteasa
- Edmund M. Clarke
- Gerhard Schellhorn
- Rafal Zdunek
- Ursula Goltz
- Chuanxia Zheng
- José P. Suárez
- Ranjit Jhala
- Stavros Tripakis
- Tomasz Sadowski
- Jianfei Cai
- Joakim von Wright
- Robert G. Reynolds
- Tat-Jen Cham
- Ralph-Johan Back
- Thomas A. Henzinger
- Kim Solin
- Michael Leuschel
- Angel Plaza
- Elena Troubitsyna
- Augusto Sampaio
- Walter Vogler
- Suhas N. Diggavi
- Ian J. Hayes
- Peter Lammich
- Lin Zhou
- Rob J. van Glabbeek
- Panagiotis Manolios
- Manfred Broy
- Andreas Podelski
- Rolf Hennicker
- Jing Qin
- H. M. Srivastava
Venues
- CoRR
- Electron. Notes Theor. Comput. Sci.
- Sci. Comput. Program.
- CAV
- Refine
- ICFEM
- Formal Aspects Comput.
- ICIP
- CVPR
- ISIT
- IEEE Access
- ICASSP
- IEEE Trans. Image Process.
- TACAS
- Refine@FM
- SAS
- AAAI
- Proc. ACM Program. Lang.
- Arch. Formal Proofs
- BMVC
- Theor. Comput. Sci.
- ACM Trans. Graph.
- FME
- ICPR
- SEFM
- IEEE Trans. Inf. Theory
- Description Logics
- J. Comb. Theory, Ser. A
- ECAI
- IJCAI
- CONCUR
- IEEE Trans. Pattern Anal. Mach. Intell.
- Comput. Graph.
- Comput. Math. Appl.
- ACM Trans. Program. Lang. Syst.
- FDL
- LICS
- Comput. Graph. Forum
- Electron. J. Comb.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend