#25 concurrent checking

Отворени

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

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

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

Впишете се за да се присъедините към разговора.

Няма етикет

Няма етап

Няма изпълнител

1 участника