V. S. Alagar profile picture

V. S. Alagar

Is this your author profile? Create an account to customize it!

Stand Alone

Formal Methods in Databases and Software Engineering
Incompleteness and Uncertainty in Information Systems
Specification of Software Systems
Specification of Software Systems