Почетна Преглед Помоћ
Пријавите се
unidan
/
notes
Прати 1
Волим 0
Креирај огранак 0
Датотеке Дискусије 26 Захтеви за спајање 0 Вики
Лабеле Фазе
Нови задатак

#25 concurrent checking

Отворено
отворено пре 5 година од unidan · 0 коментара
unidan коментирира пре 5 година

https://github.com/carllerche/loom/

http://demsky.eecs.uci.edu/publications/c11modelcheck.pdf

https://github.com/carllerche/loom/ http://demsky.eecs.uci.edu/publications/c11modelcheck.pdf
Пријавите се да се прикључе у овом разговору.
Лавеле
Уклони лабеле
Нема лабеле
Фаза
Уклони фазу
Нема фазе
Одговорни
Уклони одговорног
Нема одговорних
1 учесника
Напиши Преглед
Учитавање...
Откажи
Сачувај
Још нема садржаја.