Joaquim A. Jorge, N. J. N. Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers. Springer.
Sao chép vào clipboard thành công
Sao chép vào clipboard thất bại
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)
Joaquim A. Jorge, Nuno Jardim Nunes. Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers. Berlín, Alemania: Springer.
Sao chép vào clipboard thành công
Sao chép vào clipboard thất bại
Trích dẫn kiểu MLA (xuất bản lần thứ 9)
Joaquim A. Jorge, Nuno Jardim Nunes. Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers. Springer.
Sao chép vào clipboard thành công
Sao chép vào clipboard thất bại
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.