Speaker: Prof. Christine Choppy, University Paris Nord, France
Topic: Systematic development of state machines (with formal background)
Date: 2:00pm – 3:00pm, April 20th 2017
Location: Meeting Room, ICTLab, Room 506, USTH building, 18 Hoang Quoc Viet, Cau Giay, Hanoi.