Modular data structure verification

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2007.

Библиографические подробности
Главный автор:	Kuncak, Viktor (Viktor Jaroslav), 1977-
Другие авторы:	Martin C. Rinard.
Формат:	Диссертация
Язык:	eng
Опубликовано:	Massachusetts Institute of Technology 2007
Предметы:	Electrical Engineering and Computer Science.
Online-ссылка:	http://hdl.handle.net/1721.1/38533

Internet

http://hdl.handle.net/1721.1/38533