Behavioural Rewriting Logic: semantic foundations & proof theory (1996)

Cached

Download Links

by Razvan Diaconescu
Citations:2 - 2 self