Formal methods in databases and software engineering : proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992 /

Bibliographic Details
Corporate Authors:	Workshop on Formal Methods in Databases and Software Engineering Montréal, Québec, British Computer Society
Other Authors:	Alagar, Vangalur S., 1940-, Lakshmanan, Laks V. S., 1959-, Sadri, Feridoon
Format:	Conference Proceeding Book
Language:	English
Published:	London ; New York : Springer-Verlag, [1993]
Series:	Workshops in computing.
Subjects:	Database management > Congresses. Software engineering > Congresses.

Remote Storage