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