Formal Methods for Multicore Programming
Publisher: Springer
Published: May 19, 2015
Format: paperback
Number of pages: 218
ISBN-13: 9783319189406
Notes: Source title: Formal Methods for Multicore Programming (Lecture Notes in Computer Science (9104))