Title: Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings, Author: V.S. Alagar
Title: Incompleteness and Uncertainty in Information Systems: Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993, Author: V.S. Alagar
Title: Specification of Software Systems, Author: V.S. Alagar
Title: Specification of Software Systems, Author: V.S. Alagar
Title: 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, Author: V.S. Alagar
Title: Specification of Software Systems, Author: V.S. Alagar