Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques
Format: | eBook |
---|---|
Published: |
New York
The Institute of Electrical and Electronics Engineers, Inc.
1998
|
Subjects: | |
Online Access: | |
Collection: | IEEE Conference Proceedings - Collection details see MPG.ReNa |
ISBN: | 0769500811 |
---|