IEEE Transactions on Software Engineering
May 1990 (vol. 16 no. 5)
ISSN: 0098-5589
Table of Contents
pp. 490-497
Data Dependency Graphs for Ada Programs (Abstract)
pp. 498-509
pp. 510-522
A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets (Abstract)
pp. 523-536
On Criteria for Module Interfaces (Abstract)
pp. 537-542
pp. 543-557
pp. 558-560
Usage of this product signifies your acceptance of the
Terms of Use.
|
||||||||||||||||||||||
