Advanced Search 
IEEE Transactions on Software Engineering
July 2000 (vol. 26 no. 7)
ISSN: 0098-5589
Table of Contents
Special Section on Formal Methods for Object Systems
REGULAR PAPERS
Usage of this product signifies your acceptance of the Terms of Use.