Normal view
MARC view
CoSim-CPS (Workshop) (1st : 2017 : Treno, Italy) (Meeting Name)
Machine generated authority record.
Work cat.: (AT-ISTA): Software engineering and formal methods :