A two-level temporal logic for evolving specifications
Information Processing Letters
Canonical Institutions of Behaviour
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Hi-index | 0.00 |