Usability of semi-formal and formal methods integration : empirical assessments /
Saved in:
主要作者: | |
---|---|
格式: | Thesis 圖書 |
語言: | English |
出版: |
[United Kingdom] :
University of Southampton,
2008
|
主題: | |
標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|