FMICS Proceedings of the International Workshop on Formal Methods for Industrial Critical Systems
0
0
Author Description
Editors, Tiziana Margaria & Mieke Massink; Sponsored By Acm Sigsoft. Acm Order Number 592055--p. Ii. Includes Bibliographic References And Author Index. Also Issued Online With Additional Title: Proceedings Of The 10th International Workshop On Formal Methods For Industrial Critical Systems.
Page Count:
144
Publication Date:
2005-01-01
ISBN-10:
1595931481
ISBN-13:
9781595931481
Community Tags
Reader Comments
Share Your Thoughts
No comments yet. Be the first to share your thoughts!