Skip to content

Formal Methods for Multicore Programming

by Marco Bernardo, Einar Broch Johnsen

Cover of Formal Methods for Multicore Programming

No description available.

Computer software, developmentSoftware engineering