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