Interprocedural Static Analysis of Sequencing Constraints

ACM Transactions on Software Engineering and Methodology - United States
doi 10.1145/125489.122822
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Association for Computing Machinery (ACM)