[IEEE Comput. Soc 35th Annual Hawaii International Conference on System Sciences - Big Island, HI, USA (7-10 Jan. 2002)] Proceedings of the 35th Annual Hawaii International Conference on System Sciences - Advances in software specification and verification introduction to minitrack
Sobel, Ann E.K., Linger, R.C.Year:
2002
Language:
english
DOI:
10.1109/hicss.2002.994464
File:
PDF, 256 KB
english, 2002