Registered user since Thu 11 Feb 2021

Name: Atif Mashkoor

Country: Austria

Affiliation: Johannes Kepler University Linz

Personal website: https://www.jku.at/en/institute-for-software-systems-engineering/about-us/team/atif-mashkoor/

Twitter: https://twitter.com/atif_mashkoor

Research interests: Software engineering, formal methods, safety & security

Contributions