Publisher
Springer International Publishing
Reference13 articles.
1. Degiorgi, S., Wittiger, M.: Rating the results of conservative static data race analyses (dt.: Ergebnisbewertung konservativer statischer Data-Race-Analysen). In: Workshop for Software-Reengineering WSR 2013 (2013)
2. Formal Systems (Europe), Oxford University: Failures-Divergence Refinement: FDR2 User Manual (2010)
3. Lecture Notes in Computer Science;T Gibson-Robinson,2014
4. Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall International, Englewood Cliffs (2004)
5. ISO/IEC: Standard for Programming Language C++ (2011)