IdézéskapcsolatHorpácsi Dániel. Verification and Application of Program Transformations. (2019)

Közlemény:
Mihalicza József et al. Towards More Sophisticated Access Control. (2009) Megjelent: SPLST’09 & NW-MODE’09. Proceedings of 11th Symposium on Programming Languages and Software Tools and 7th Nordic Workshop on Mod... pp. 117-131
Kapcsolódó cikk:
Horpácsi Dániel. Verification and Application of Program Transformations. (2019)
Független: Igen
2020-11-24 10:30