A Review of Some Rigorous Software Design and Analysis Tools

Journal article

Frederick T Sheldon, Gaoyan Xie, Orest Pilskalns and Zhihe Zhou

Software Focus, Vol.2(4), pp.140-150

2001

Files and links (1)

url

http://dx.doi.org/10.1002/swf.46View

1 Record Views

Title: A Review of Some Rigorous Software Design and Analysis Tools
Creators: Frederick T Sheldon - Washington State University
Gaoyan Xie - Washington State University
Orest Pilskalns - Washington State University
Zhihe Zhou
Publication Details: Software Focus, Vol.2(4), pp.140-150
Identifiers: 996629887901851
Academic Unit: Computer Science
Language: English
Resource Type: Journal article