Ireland A.

Автор:

Вид	Название	Год	Автор	Серия	Редакторы	Колл. автор	Источник	Дата поступления
СТ	An Integration of Program Analysis and Automated Theorem Proving	2004	Ellis B. J., Ireland A.				Lecture Notes in Computer Science	21.05.2004
СТ	Invariant Discovery via Failed Proof Attempts	1999	Stark J., Ireland A.				Lecture Notes in Computer Science	16.04.1999