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