Formal methods in databases and software engineering
By: guest editor: V.S. Alagar.
Contributors: Alagar, V. S.
Series: Theoretical computer science -- vol.133 (2)
Publisher: North-Holland
Published: 1994
Place of publication: Amsterdam
Language: eng
Notes: Special issue.