Eric Rothstein Morris
- Formal methods and their application.
- Abstract state machines.
- Property verification and specification.
- Concrete coalgebras for system and information security.
I agree that a connection to the Vimeo server will be established when the video is played and that personal data (e.g. your IP address) will be transmitted.
I agree that a connection to the YouTube server will be established when the video is played and that personal data (e.g. your IP address) will be transmitted.
Show video
