Күн бұрынJonsson & Sagonas; Testing and Verifying Concurrent Algorithms Using Stateless Model Checking Рет қаралды 132RISE SICS 1 1 Жүктеу
Пікірлер