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