Formal Methods and Software Development (PROC OF INTL JOINT CONF...(TAPSOFT) - Softcover

 
9780387151991: Formal Methods and Software Development (PROC OF INTL JOINT CONF...(TAPSOFT)