Advanced Search 
IEEE Transactions on Software Engineering
August 2000 (vol. 26 no. 8)
ISSN: 0098-5589
Table of Contents
Special Section on the 1999 Formal Methods Conference (FM '99)
REGULAR PAPERS
Usage of this product signifies your acceptance of the Terms of Use.