|
|||||
|
|
Introduction to the Software Engineering and Formal Methods 2013 special issue |
|
| Authors: | Mario Bravetti Robert M. Hierons Mercedes G. Merayo |
| Affiliation: | 1.University of Bologna,Bologna,Italy;2.Focus INRIA,Sophia-Antipolis,France;3.Department of Computer Science,Brunel University London,London,UK;4.Departamento de Sistemas Informáticos y Computación,Universidad Complutense de Madrid,Madrid,Spain |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |