Login / Signup

Compositional Specification Calculus for Information Systems Development.

Leonid A. Kalinichenko
Published in: ADBIS (1999)
Keyphrases