concurrency.cs.uni-kl.de - Institute of Theoretical Computer Science - TU Braunschweig

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

wwwagse.informatik.uni-kl.de - Software Engineering: Process Measurement Research Group: