Location & Availability for: Proceedings : 2nd IEEE Workshop on Indus

 Staff view

You must be logged in to Tag Records

Proceedings : 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques : Boca Raton, Florida, October 21-23, 1998 /

sponsored by IEEE Computer Society, Technical Committee on Complexity in Computing, Florida Atlantic University.

Book Cover
Published: Los Alamitos, CA : IEEE Computer Society, c1999.
Topics: Formal methods (Computer science) - Congresses.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Proceedings : 2nd IEEE Workshop on Indus