Advanced Search 
IEEE Transactions on Software Engineering
September 1990 (vol. 16 no. 9)
ISSN: 0098-5589
Table of Contents
SPECIAL ISSUE ON FORMAL METHODS IN SOFTWARE ENGINEERING
Usage of this product signifies your acceptance of the Terms of Use.