V.S. Alagar

Specification of Software Systems

Incompleteness and Uncertainty in Information Systems