Print

Print


The paper submission deadline for VMCAI'04
( Fifth International Conference on Verification, Model Checking,
  and Abstract Interpretation )
has been extended to Saturday, 30 AUGUST.

Submit at:  http://sttt.cs.uni-dortmund.de/vmcai2004/servlet/Conference
Conference URL:  http://www.dsi.unive.it/~vmcai04/