Reasoning about Time in Higher-Level Language Software (1989)

Cached

Download Links

by Alan Shaw
Venue:IEEE Transactions on Software Engineering
Citations:159 - 0 self