CS 9622 - Fall 2017 : An introduction to critical systems (talk)


https://www.youtube.com/watch?v=msp05wJ7fD4  9:48