Title: Formal Methods for Multicore Programming
Subjects: Computer software, development, Software engineering