Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency Modelslink.springer.com2 pointsmatt_d5 years ago