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