Вы здесь

Angelo C. M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Reasoning About a Class of Linear Systems of Equations in HOL 1994 Angelo C. M., Claesen L., De Man H. Lecture Notes in Computer Science 24.11.1994
СТ Degrees of Formality in Shallow Embedding Hardware Description Languages in HOL 1994 Angelo C. M., Claesen L., De Man H. Lecture Notes in Computer Science 18.06.1994