The variety of variables in computer-aided real-time programming (2002)

Cached

Download Links

by Luke Wildman , Colin Fidge
Venue:Refine 2002: Proceedings of the BCS/FACS Refinement Workshop, volume 70(3) of Electronic Notes in Theoretical Computer Science
Citations:1 - 1 self