MTV'02: Call for Papers

Miroslav Velev mvelev@REDACTED
Fri Aug 24 10:09:08 CEST 2001

Microprocessor Test and Verification (MTV'02)
January 21-22, 2002, Austin, Texas, USA:

Deadline for submission of abstracts: October 26, 2001

P.S. Note the special topic on optimizing SAT procedures
for application to testing and formal verification.

More information about the erlang-questions mailing list