Modelling Systems (Practical Tools and Techniques in Software Development) || Describing System Properties Using Logical Expressions
Fitzgerald, John, Larsen, Peter GormVolume:
10.1017/CB
Year:
2009
DOI:
10.1017/CBO9780511626975.006
File:
PDF, 377 KB
2009