Static Analysis for Hardware Design

Activity: Talk or presentation › Lecture and oral contribution

Period1 Dec 2023
Event titleSymposium and festschrift to celebrate the work of Prof. Alan Mycroft
Event typeSymposium
LocationCambridge, United KingdomShow on map
Degree of RecognitionInternational