Computer Science citations

Topic: Java programming


Online Article;

Reynolds, M. C. (2013). Modeling the Java Bytecode Verifier. Science Of Computer Programming78(3), 327-342. doi:10.1016/j.scico.2011.03.008



Hyde, D. C., & Buyya, R. R. (1999). Java and different flavors of parallel programming models. In R. R. Buyya (Ed.) , High performance cluster computing: Programming and Applications, Vol.2 Place of Publication: Upper Saddle River, NJ, USA. Country of Publication: USA.: Prentice Hall PTR.


Academic Journal;

Ahrendt, W., Baar, T., Beckert, B., Bubel, R., Giese, M., Hähnle, R., Menzel, W., Mostowski, W., Roth, A., Schlager, S., and Schmitt, P. H. 2003. The KeY tool. Technical report in computing science no. 2003–5, Department of Computing Science, Chalmers University and Göteborg University, Göteborg, Sweden. February.


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s