Operating systems verification http://ssrg.nicta.com.au/publications/papers/Klein_09.abstract
#operating_systems #os #programming #verification #paper
բնօրինակ սփիւռքում(եւ մեկնաբանութիւննե՞ր)
