Logic in computer science
University of Paderborn
Simulation
Kindler
Electronic Prescriptions for Controlled Substances
Semantics