Eric Rothstein Morris
Research Interest
- Formal methods and their application.
- Abstract state machines.
- Property verification and specification.
- Concrete coalgebras for system and information security.
Share this page Beim Anzeigen des Videos wird Ihre IP-Adresse an einen externen Server (Vimeo.com) gesendet.
