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

by Egon Börger
Citations:290 - 22 self