High level system design and analysis using abstract state machines (1999)

Cached

Download Links

by Egon Börger
Venue:CURRENT TRENDS IN APPLIED FORMAL METHODS (FM-TRENDS 98), NUMBER 1641 IN LNCS
Citations:50 - 12 self