ESC/Java (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "ESC/Java" in English language version.

refsWebsite

Global rank English rank

2sourceforge.net

1,669^th place

1,290^th place

2^nd place

2^nd place

doi.org

Flanagan, C.; Leino, K.R.M.; Lillibridge, M.; Nelson, G.; Saxe, J. B.; Stata, R. (2002). Extended static checking for Java. Proceedings of the Conference on Programming Language Design and Implementation. pp. 234–245. doi:10.1145/512529.512558. ISBN 1-58113-463-0.

sourceforge.net

jmlspecs.sourceforge.net

"OpenJML download site on sourceforge".

sourceforge.net

"Java Modeling Language (JML) / Code / [r9606] /OpenJML/Trunk/OpenJML".