Content deleted Content added
Added an inline reference. Not sure how I make use of the bibtex format I can see in other pages though. |
Corrected missing RefList |
||
Line 5:
The [[Radboud University Nijmegen|University of Nijmegen]]'s ''Security of Systems'' group released alpha versions of ESC/Java2, an extended version of ESC/Java that processes the [[JML]] specification language through 2004. Since 2004, ESC/Java2 development has been managed by the KindSoftware Research Group at [[University College Dublin]]. Over the years, ESC/Java2 has gained many new features including the ability to reason with multiple [[theorem prover]]s and integration with [[Eclipse (software)|Eclipse]].
== References ==
{{RefList}}
== External links ==
| |||