From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Directed Proof Generation for Machine Code.

A. Thakur, J. Lim, A. Lal, A. Burton, E. Driscoll, M. Elder, T. Andersen, и T. Reps. CAV, том 6174 из Lecture Notes in Computer Science, стр. 288-305. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Abstract Domains of Affine Relations.M. Elder, J. Lim, T. Sharma, T. Andersen, и T. Reps. ACM Trans. Program. Lang. Syst., 36 (4): 11:1-11:73 (2014)Directed Proof Generation for Machine Code.A. Thakur, J. Lim, A. Lal, A. Burton, E. Driscoll, M. Elder, T. Andersen, и T. Reps. CAV, том 6174 из Lecture Notes in Computer Science, стр. 288-305. Springer, (2010)Abstract Domains of Affine Relations.M. Elder, J. Lim, T. Sharma, T. Andersen, и T. Reps. SAS, том 6887 из Lecture Notes in Computer Science, стр. 198-215. Springer, (2011)View-Augmented Abstractions.M. Elder, D. Gopan, и T. Reps. NSAD@SAS, том 267 из Electronic Notes in Theoretical Computer Science, стр. 43-57. Elsevier, (2010)Bilateral Algorithms for Symbolic Abstraction.A. Thakur, M. Elder, и T. Reps. SAS, том 7460 из Lecture Notes in Computer Science, стр. 111-128. Springer, (2012)