SPECIFICATION LANGUAGE
Experts
- Shaoying Liu
- Corina S. Pasareanu
- Hartmut Ehrig
- Martin Wirsing
- Manfred Broy
- Joseph E. Urban
- Peter D. Mosses
- Sarfraz Khurshid
- Martin Gogolla
- José Meseguer
- Bernhard Rumpe
- Barrett R. Bryant
- Eelco Visser
- Axel Legay
- Andrzej Tarlecki
- Marjan Mernik
- Paolo Terenziani
- Frédéric Mallet
- Alberto Rodrigues da Silva
- Birgit Vogel-Heuser
- Cristian Cadar
- Hong Zhu
- Jin Song Dong
- Jun Sun
- Jan Treur
- Yang Liu
- Donald Sannella
- Willem Visser
- Nazareno Aguirre
- Jifeng He
- Wolfgang Reif
- Alessio Lomuscio
- Gunter Saake
- Robert B. France
- Nikolai Tillmann
- Joost-Pieter Katoen
- Gary T. Leavens
- Yves Ledru
- Marie-Claude Gaudel
Venues
- CoRR
- ACM SIGPLAN Notices
- Commun. ACM
- Electron. Notes Theor. Comput. Sci.
- IEEE Trans. Software Eng.
- POPL
- Sci. Comput. Program.
- Theor. Comput. Sci.
- Softw. Pract. Exp.
- CogSci
- SEKE
- ICSE
- PLDI
- SIGCSE
- LREC
- Comput. J.
- J. Syst. Softw.
- SAC
- ACM SIGSOFT Softw. Eng. Notes
- ASE
- INTERSPEECH
- COMPSAC
- APSEC
- ESOP
- RFC
- ICFEM
- FORTE
- Inf. Softw. Technol.
- Proc. ACM Program. Lang.
- Comput. Lang.
- Formal Aspects Comput.
- IJCAI
- DATE
- VL
- Softw. Syst. Model.
- ACM Trans. Program. Lang. Syst.
- DAC
- CAV
- ACM Conference on Computer Science
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend