Compositional Specification Calculus for Information Systems Development.

Leonid A. Kalinichenko

Browse the full ADBIS paper archive.