A Dynamic Logic for deductive verification of multi-threaded programs
Bernhard Beckert, Vladimir KlebanovVolume:
25
Language:
english
DOI:
10.1007/s00165-012-0261-4
Date:
May, 2013
File:
PDF, 1.05 MB
english, 2013