MOVES: Software Modeling and Verification (Info 2)

	MOVES: Software Modeling and Verification (Informatik 2) Prof. Dr. Ir. Joost-Pieter Katoen
	Computer Science / RWTH / I2 / Events / Aachen1996 / FinalProg
Home News Jobs Contact Staff Teaching Research MOVES Seminar DFG-GK AlgoSyn CS Chairs LuFG I2	Printer-friendly Final Programme Final Programme ALP/PLILP/SAS'96 September 24-27, 1996 Aachen, Germany ALP/PLILP/SAS General Schedule Sponsors ALP/PLILP/SAS Programme Monday, September 23 Tuesday, September 24 Wednesday, September 25 Thursday, September 26 Friday, September 27 Saturday, September 28 Social Events Herbert Kuchen / herbert@informatik.rwth-aachen.de

[Mail]

Webmaster

Disclaimer

Last modified: 1998-05-05 13:35 UTC