News
COMPASS Workshop (22 October 2015) · Indico at ESA / ESTEC (Indico)
indico.esa.int
chaired by Marcel Verhoef (ESA/ESTEC), Alessandro Cimatti (FBK), Joost-Pieter Katoen (RWTH Aachen). Thursday, 22 October from ...
System Development: The DESTECS/Crescendo Technology
ercim-news.ercim.eu
ERCIM News, the quarterly magazine of the European Research Consortium for Informatics and Mathematics
sorted by relevance / date