An assertion-based proof system for multithreaded Java
Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin SteffenVolume:
331
Year:
2005
Language:
english
Pages:
40
DOI:
10.1016/j.tcs.2004.09.019
File:
PDF, 448 KB
english, 2005