Genc Blakqori

According to our database, Genc Blakqori authored at least 1 paper in 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

APML: An Architecture Proof Modeling Language.

Diego Marmsoler, Genc Blakqori

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019