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