Andrius Velykis
Research Assistant

  • Velykis A, Freitas L. Formal Modelling of Separation Kernel Components. In: Theoretical Aspects of Computing: 7th International Colloquium. 2010, Natal, Rio Grande do Norte, Brazil: Springer.
  • Freitas L, Jones CB, Velykis A, Whiteside I. How to say why (in AI4FM). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2013. School of Computing Science Technical Report Series 1398.