Normal view
MARC view
Machine learning Congresses(Topical Term)
Machine generated authority record.
Work cat.: (UIAM)501876: ABZ (Conference) Pisa, Italy) 2012 : (3rd : 35631, Abstract state machines, Alloy, B, VDM, and Z :