Normal view MARC view

Workshop on Formal Methods in the Development of Software (3rd : 2013 : Madrid, Spain) (Meeting Name)

Number of records used in: 1

Preferred form: Workshop on Formal Methods in the Development of Software (3rd : 2013 : Madrid, Spain)

Machine generated authority record.

Work cat.: (AT-ISTA): Software engineering and formal methods :