Comparing LOTOS and Z refinement relations (1996)

Cached

Download Links

by John Derrick , Howard Bowman , Eerke Boiten , Maarten Steen
Venue:In FORTE/PSTV'96
Citations:11 - 5 self