Вы здесь

Barnett M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Friends Need a Bit More: Maintaining Invariants Over Shared State 2004 Barnett M., Naumann D. A. Lecture Notes in Computer Science Lecture Notes in Computer Science 03.09.2004
СТ Towards a Tool Environment for Model-Based Testing with AsmL 2004 Barnett M., Grieskamp W., Nachmanson L., Schulte W., Tillmann N., Veanes M. Lecture Notes in Computer Science 11.03.2004
СТ A Systolizing Compilation Scheme for Nested Loops with Linear Bounds 1993 Barnett M., Lengauer Ch. Lecture Notes in Computer Science 05.08.1993
СТ Unimodularity Considered Non-Essential (Extended Abstract) 1992 Barnett M., Lengauer C. Lecture Notes in Computer Science 01.10.1992

Редактор: