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