Sign in

A Temporal Approach to Algebraic Specifications.

Yulin FengJunbo Liu
Published in: CONCUR (1990)
Keyphrases