SPECIFICATION LANGUAGE
Experts
- Shaoying Liu
- Corina S. Pasareanu
- Hartmut Ehrig
- Martin Wirsing
- Manfred Broy
- Joseph E. Urban
- Sarfraz Khurshid
- Peter D. Mosses
- Bernhard Rumpe
- Martin Gogolla
- Barrett R. Bryant
- José Meseguer
- Axel Legay
- Andrzej Tarlecki
- Eelco Visser
- Marjan Mernik
- Alberto Rodrigues da Silva
- Frédéric Mallet
- Paolo Terenziani
- Hong Zhu
- Jin Song Dong
- Birgit Vogel-Heuser
- Jun Sun
- Jan Treur
- Cristian Cadar
- Alessio Lomuscio
- Donald Sannella
- Willem Visser
- Nikolai Tillmann
- Jifeng He
- Yang Liu
- Gunter Saake
- Robert B. France
- Nazareno Aguirre
- Wolfgang Reif
- Gary T. Leavens
- Jean E. Sammet
- Narciso Martí-Oliet
- Zhenbang Chen
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
- Comput. J.
- LREC
- J. Syst. Softw.
- SAC
- ASE
- ACM SIGSOFT Softw. Eng. Notes
- INTERSPEECH
- COMPSAC
- ESOP
- RFC
- APSEC
- FORTE
- ICFEM
- Proc. ACM Program. Lang.
- Inf. Softw. Technol.
- Formal Aspects Comput.
- Comput. Lang.
- DATE
- IJCAI
- VL
- ACM Trans. Program. Lang. Syst.
- DAC
- Softw. Syst. Model.
- CAV
- ACM Conference on Computer Science
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend