ISBNs beginnend mit 978-3-931466-xx-x

The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models