Normal view
MARC view
Formal methods (Computer science) Congresses (Topical Term)
Machine generated authority record.
Work cat.: (OSt)274145: Integrated formal methods : 13th international conference proceedings, IFM 2017, Turin, Italy, September 20-22, 2017, 2017