CONSTRAINED EXPRESSIONS - TOWARD BROAD APPLICABILITY OF ANALYSIS-METHODS FOR DISTRIBUTED SOFTWARE SYSTEMS

Publication Date

1988

Journal or Book Title

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS

Pages

374-402

Volume

10

Issue

3

This document is currently not available here.

Share

COinS