Login / Signup

High Level System Design and Analysis Using Abstract State Machines.

Egon Börger
Published in: FM-Trends (1998)
Keyphrases