#25 concurrent checking

Nyitott

megnyitva ekkor: 5 éve unidan által · 0 hozzászólás

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

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

Jelentkezzen be hogy csatlakozhasson a beszélgetéshez.

Nincs címke

Nincs mérföldkő

Nincs megbízott

1 Résztvevő