SPECIFICATION LANGUAGES
Experts
- Shaoying Liu
- Hartmut Ehrig
- Marie-Claude Gaudel
- Hong Zhu
- K. Rustan M. Leino
- David A. Duce
- Gary T. Leavens
- Julien Schmaltz
- Rajib Mall
- Jin Song Dong
- Martin Wirsing
- Roger Duke
- Richard A. Kemmerer
- Vincent Hilaire
- Ernst-Rüdiger Olderog
- Kevin Lano
- Razvan Diaconescu
- Atif Mashkoor
- Durga Prasad Mohapatra
- John V. Guttag
- Robert B. France
- Peter Gorm Larsen
- Doron Drusinsky
- Andreas Bollin
- Michael Leuschel
- Birgit Vogel-Heuser
- Rémi Bastide
- Gruia-Catalin Roman
- Michael Fisher
- Kokichi Futatsugi
- Rolf Drechsler
- Robert Wille
- Arnd Poetzsch-Heffter
- Bernhard Beckert
- Ian J. Hayes
- Ian C. Morrey
- Yang Liu
- Gregor von Bochmann
- Wolfgang Reif
Venues
- CoRR
- IEEE Trans. Software Eng.
- APSEC
- Electron. Notes Theor. Comput. Sci.
- Sci. Comput. Program.
- FDL
- J. Syst. Softw.
- Softw. Eng. J.
- Inf. Softw. Technol.
- FORTE
- Comput. J.
- ICSE
- ACM SIGSOFT Softw. Eng. Notes
- FME
- ICFEM
- SAC
- SEKE
- COMPSAC
- ACM SIGPLAN Notices
- Formal Aspects Comput.
- J. Object Technol.
- Int. J. Softw. Eng. Knowl. Eng.
- Microprocess. Microprogramming
- Theor. Comput. Sci.
- HASE
- IEEE Softw.
- ICECCS
- CASCON
- IFIP Congress
- Bull. EATCS
- ASE
- Int. J. Softw. Tools Technol. Transf.
- TASE
- Comput. Graph. Forum
- DATE
- TAPSOFT
- FASE
- Z User Workshop
- J. Univers. Comput. Sci.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend