-
Programming Languages. 48: 287–300. doi:10.1145/2480359.2429104. Sergey, Ilya;
Nanevski, Aleksandar; Banerjee,
Anindya (2015). "Specifying and
Verifying Concurrent...
-
logic is
sound and
complete with
respect to an
operational semantics.
Nanevski, Aleksandar; Morrisett, Greg; Birkedal, Lars (September 2008). "****e Type...
-
SIGPLAN Notices. 48: 287–300. doi:10.1145/2480359.2429104. Sergey, Ilya;
Nanevski, Aleksandar; Banerjee,
Anindya (2015). "Specifying and
Verifying Concurrent...
-
Antoni Maznevski 2007 —
Blagoja Manevski 2009 —
Nikola Uzunovski and Goce
Nanevski 2011 —
Zarko Basevski and ZERO 2013 —
Elpida Hadzi-Vasileva 2015 — Hristina...
-
built the
Macedonian Community Centre which was
blessed by
Father Petre Nanevski from
Perth on 3
August 1983. The hall was
officially opened on 3 May 1987...
- Boškovski,
Miodrag Drugovac, Tome Momirovski,
Risto Avramovski, Duško
Nanevski,
Georgi Stardelov,
Simon Drakul,
Petar Širilov,
Blagoja Anastasovski, Tome...
