Modular Verification of Collaboration-Based Software Designs
ACM SIGSOFT Software Engineering Notes
doi 10.1145/503271.503231
Full Text
Open PDFAbstract
Available in full text
Date
September 1, 2001
Authors
Publisher
Association for Computing Machinery (ACM)