Formal and Model−Based Testing of Concurrent Workflows

Chi tiết về thư mục
Những tác giả chính: Wang, C, Cavarra, A, Davies, J
Định dạng: Conference item
Được phát hành: IEEE 2011