Castillo, G. D. (2001). The ASM Workbench. A tool environment for computer-aided analysis and validation of abstract state machine models ([1st ed.].). Universität.
Citace podle Chicago (17th ed.)Castillo, Giuseppe Del. The ASM Workbench. A Tool Environment for Computer-aided Analysis and Validation of Abstract State Machine Models. [1st ed.]. Paderborn: Universität, 2001.
Citace podle MLA (9th ed.)Castillo, Giuseppe Del. The ASM Workbench. A Tool Environment for Computer-aided Analysis and Validation of Abstract State Machine Models. [1st ed.]. Universität, 2001.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..