Claude Marché, Christine Paulin-Mohring, Xavier Urbain. The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML. Journal of Logic and Algebraic Programming, 58(1-2):89-106, 2004. [doi]
@article{MarchePU04, title = {The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML}, author = {Claude Marché and Christine Paulin-Mohring and Xavier Urbain}, year = {2004}, doi = {10.1016/j.jlap.2003.07.006}, url = {http://dx.doi.org/10.1016/j.jlap.2003.07.006}, tags = {Java}, researchr = {https://researchr.org/publication/MarchePU04}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {58}, number = {1-2}, pages = {89-106}, }