The ICS Decision Procedures for Embedded Deduction

Leonardo de Moura, Sam Owre, Harald Ruess, John Rushby, and N. Shankar

Tool description presented at IJCAR 2004. Appears in Springer Verlag LNCS 3097, pp. 218-222. Copyright Springer Verlag LNCS

gzipped postscript, or plain postscript or PDF or crude ascii (for your Palm Pilot)

BibTeX Entry

	AUTHOR = {Leonardo de Moura and Sam Owre and Harald Ruess and John Rushby
		and N. Shankar},
	TITLE = {The {ICS} Decision Procedures for Embedded Deduction},
	ADDRESS = {Cork, Ireland},
	BOOKTITLE = {2nd International Joint Conference on Automated Reasoning ({IJCAR})},
	PUBLISHER = {Springer-Verlag},
	SERIES = {Lecture Notes in Computer Science},
	VOLUME = 3097,
	PAGES = {218--222},
	MONTH = jul,
	YEAR = 2004

Having trouble reading our papers?
Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page