Title:
Distributed_Verification_of_Multi-threaded_CPP_pr
Download
Description: Distributed Verification of Multi-threaded C++ Programs
Stefan Edelkamp1,2 Shahid Jabbar 1,3 Damian Sulewski 1,4
Department of Computer Science
University of Dortmund
Dortmund, Germany
To Search:
File list (Check if you may need any files):
Distributed_Verification_of_Multi-threaded_C++_progs.pdf
