Specification and verification of component-based systems 2007

Full Text: PDFPDF Buy this ArticleBuy this Article
Authors: Jonathan Aldrich School of Computer Science, Pittsburgh, PA
Gary T. Leavens Iowa State University, Ames, Iowa
Mike Barnett Microsoft Research, Redmond, WA
Natasha Sharygina University of Lugano, Lugano, Switzerland
Dimitra Giannakopoulou RIACS/NASA Ames Research Center, Moffett Field, CA
Specification and verification of component-based systems 2007 Published by ACM 2007 Article
Bibliometrics Data  Bibliometrics
· Downloads (6 Weeks): 1
· Downloads (12 Months): 5
· Downloads (cumulative): 75
· Citation Count: 0

Published in:
· Proceeding
ESEC-FSE companion '07 The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Pages 609-610
ACM New York, NY, USA ©2007
table of contents ISBN: 978-1-59593-812-1 doi>10.1145/1295014.1295056

Tools and Resources

Share:

|
feedback Feedback | Switch to single page view (no tabs)

Powered by The ACM Guide to Computing Literature


The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2013 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player
The ACM Guide to Computing Literature
All Tags
Export Formats
 
 
Save to Binder