Presentation of INTO-CPS article at workshop

Source: FormaliSE: FME Workshop on Formal Methods in Software Engineering, May 2015 (English), Italy.