tcs.cs.tu-bs.de - Institute of Theoretical Computer Science - TU Braunschweig

Keywords: Languages, university, logic, TU, Technical University, Braunschweig, Verification, semantics, concur, concurrency