Formal Methods for Multicore Programming

MLA

Bernardo, and Einar Broch Johnsen. Formal Methods for Multicore Programming. Springer International Publishing, 2015.

APA

Bernardo, B., & Johnsen, E. Broch. (2015). Formal Methods for Multicore Programming. Springer International Publishing.

Chicago

Bernardo, and Einar Broch Johnsen. Formal Methods for Multicore Programming. : Springer International Publishing, 2015.