DMCA

Abstract State Machines: Verification Problems and Complexity (2000)

by Marc Spielmann
Citations:9 - 0 self