DMCA

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

by Egon Börger
Citations:297 - 23 self