International Workshop on Design, Specification, and Verification of Interactive Systems - 最新文献
Pub Date : 2008-07-01
DOI: 10.1007/978-3-540-70569-7_21
Alexandre Demeure, Gaëlle Calvary, K. Coninx
Pub Date : 2008-07-01
DOI: 10.1007/978-3-540-70569-7_3
A. Ferreira, P. Antunes
Pub Date : 2008-07-01
DOI: 10.1007/978-3-540-70569-7_18
G. Mori, F. Paternò, L. D. Spano
查看全部