Mr Artem Usov

  • UG Demonstrator, Lab Assistant (School of Computing Science)

Publications

List by: Type | Date

Jump to: 2020
Number of items: 1.

2020

Usov, A. and Dardha, O. (2020) SFJ: an implementation of semantic featherweight Java. In: Bliudze, S. and Bocchi, L. (eds.) Coordination Models and Languages: 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings. Series: Lecture notes in computer science (12134). Springer: Cham, pp. 153-168. ISBN 9783030500283 (doi:10.1007/978-3-030-50029-0_10)

This list was generated on Fri Oct 30 20:43:56 2020 GMT.
Jump to: Book Sections
Number of items: 1.

Book Sections

Usov, A. and Dardha, O. (2020) SFJ: an implementation of semantic featherweight Java. In: Bliudze, S. and Bocchi, L. (eds.) Coordination Models and Languages: 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings. Series: Lecture notes in computer science (12134). Springer: Cham, pp. 153-168. ISBN 9783030500283 (doi:10.1007/978-3-030-50029-0_10)

This list was generated on Fri Oct 30 20:43:56 2020 GMT.