Formal and Model−Based Testing of Concurrent Workflows

Bibliografske podrobnosti
Main Authors: Wang, C, Cavarra, A, Davies, J
Format: Conference item
Izdano: IEEE 2011