[I2 logo] [RWTH logo] MOVES: Software Modeling and Verification
(Informatik 2)
Computer Science / RWTH / I2 / Events / Aachen1996 / Node8
Printer-friendly
Sponsors

Sponsors

  • Deutsche Forschungsgemeinschaft
  • The Assocation of Logic Programming
  • Esprit Compulog-Net
  • RWTH Aachen
  • SUN Microsystems
Valid HTML 4.01 Strict! Valid CSS!