An Approach to Systems Verification

An Approach to Systems Verification (1989)

by William Bevier , Warren A. Hunt Jr. , J Strother Moore , William D. Young

Venue:	JOURNAL OF AUTOMATED REASONING
Citations:	64 - 6 self

User correction supplied by mph

Datum	Value	Source
TITLE	An Approach to Systems Verification	user correction - Legacy Corrections
AUTHOR NAME	William Bevier	user correction
AUTHOR AFFIL	Computational Logic Inc.	user correction
AUTHOR ADDR	1717 W. 6th St. Suite 290; Austin, Texas 78703	user correction
AUTHOR NAME	Warren A. Hunt Jr.	user correction
AUTHOR AFFIL	Computational Logic Inc.	user correction
AUTHOR ADDR	1717 W. 6th St. Suite 290; Austin, Texas 78703	user correction
AUTHOR NAME	J Strother Moore	user correction
AUTHOR AFFIL	Computational Logic Inc.	user correction
AUTHOR ADDR	1717 W. 6th St. Suite 290; Austin, Texas 78703	user correction
AUTHOR NAME	William D. Young	user correction
AUTHOR AFFIL	Computational Logic Inc.	user correction
AUTHOR ADDR	1717 W. 6th St. Suite 290; Austin, Texas 78703	user correction
ABSTRACT		user correction
YEAR	1989	INFERENCE
VENUE	JOURNAL OF AUTOMATED REASONING	user correction
VENUE TYPE	JOURNAL	INFERENCE
PAGES	411--428	INFERENCE
VOLUME	5	INFERENCE
CITATIONS	14 found	ParsCit 1.0