Wolfgang Pauli Institute (WPI)

Wolfgang Pauli Institute (WPI) Vienna

Workshop on "SMT Reasoning for distributed systems" (external website )

Location: TU Wien

Thu, 11. Apr - Fri, 19. Apr 24

Organisation(s)
FOR(SYTE) @ TU Wien
WPI

Organiser(s)
Laura Kovacs (WPI c/o TU Wien)
Beatrix Buhl (TU Wien)

© WPI 2001-2004.

www.wpi.ac.at