征稿范围
In 2008, topics include, but are not limited to:
- software specification, refinement, verification and testing
- model checking and theorem proving
- software architectures
- coordination and feature interaction
- integration of theories, formal
留言