APA (7th ed.) Citation

Fruja, N. G. (2008). Towards proving type safety of .NET CIL. Science of Computer Programming, 72(3), 176. https://doi.org/10.1016/j.scico.2008.05.004

Chicago Style (17th ed.) Citation

Fruja, Nicu G. "Towards Proving Type Safety Of .NET CIL." Science of Computer Programming 72, no. 3 (2008): 176. https://doi.org/10.1016/j.scico.2008.05.004.

MLA (9th ed.) Citation

Fruja, Nicu G. "Towards Proving Type Safety Of .NET CIL." Science of Computer Programming, vol. 72, no. 3, 2008, p. 176, https://doi.org/10.1016/j.scico.2008.05.004.