[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 3308 ||
Davies, Jim, Schulte, Wolfram, Barnett, MikeVolume:
10.1007/b1
Year:
2004
Language:
english
DOI:
10.1007/b102837
File:
PDF, 266 KB
english, 2004