Sorry, the article you're looking for isn't specifically available. Here are related topics:
trabajan en herramientas que hacen uso de las anotaciones JML, entre ellas: ESC/Java2 [1], un verificador estático extendido que utiliza anotaciones JML; Daikon...