Abstract State Machines: A Method for High-Level System Design and Analysis (2003)

Cached

Download Links

by Egon Börger
Citations:214 - 19 self