Proceedings, Page 2284

Front Cover
IEEE Computer Society Press, 2005 - Computer engineering
0 Reviews

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Related books

Contents

Tutorials
2
An Introduction to Three Perspectives on Formal Specification Review
8
Design of a Tool for SpecificationBased Program Review
10
Copyright

41 other sections not shown

Other editions - View all

Common terms and phrases

References from web pages

Proceedings of the 10th IEEE International Conference on ...
Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Volume 00 table of contents ...
portal.acm.org/ citation.cfm?id=1078029

Dr. Abdelwahab Hamou-Lhadj - Publications
... In Proc. of the 10th IEEE International Conference on Engineering of Complex Computer Systems, IEEE CS, Shanghai, China, pp. 559-568, 2005. ...
www.ece.concordia.ca/ ~abdelw/ papers.html

Shadows
... in Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems, IEEE Computer Society, Shangai (China), 16-20 June, ...
sysrun.haifa.il.ibm.com/ shadows/ publications.html

- UniversitÓ degli Studi di Milano-Bicocca - disco - Pubblicazioni ...
Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2005), IEEE Computer Society, Shangai (China), ...
www.disco.unimib.it/ link/ page.jsp?id=44260370

profile_page
... Workshop on SOFL in the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS2005), Shanghai, China, 16-20 June 2005, ...
cis.k.hosei.ac.jp/ ~sliu/ the_profile_page1.htm

Bibliographic information