Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski
Browse the full ICFEM paper archive.