Forgot your password?
Document Actions
CAVIS 2004
Computer Aided Verification of Information Systems 2004
CALL FOR PARTICIPATION
Computer Aided Verification of Information Systems:
A Practical Industry-Oriented Approach Timisoara, Romania, February 27-28, 2004
Second Romanian-Austrian Workshop
Organized by the Institute e-Austria Timisoara
CAVIS 2004 programme