Workshop on Industrial-Strength Formal Specification Techniques : proceedings, April 5-8, 1995, Boca Raton, Florida /

Bibliographic Details
Corporate Authors:	Workshop on Industrial-Strength Formal Specification Techniques Boca Raton, Fla., IEEE Computer Society. Technical Council on Software Engineering
Format:	Conference Proceeding Book
Language:	English
Published:	Los Alamitos, Calif. : IEEE Computer Society Press, [1995]
Subjects:	Computer software > Development > Congresses.