www.eecs.ucf.edu/~leavens/JML/index.shtml
Preview meta tags from the www.eecs.ucf.edu website.
Linked Hostnames
64- 5 links towww.jmlspecs.org
- 4 links togithub.com
- 4 links topoporo.uma.pt
- 3 links tosoftware.imdea.org
- 3 links tosourceforge.net
- 3 links towww.cs.ru.nl
- 3 links towww.eecs.ucf.edu
- 3 links towww.linkedin.com
General Meta Tags
2- titleThe Java Modeling Language (JML) Home Page
- descriptionThe Java Modeling Language, JML, a design by contract (DBC) specification language for Java
Link Tags
2- SHORTCUT ICONimages/favicon.ico
- STYLESHEEThttps://www.cs.ucf.edu/~leavens/JML/style/style.css
Links
100- http://coq.inria.fr
- http://dx.doi.org/10.1007/11804192_16
- http://dx.doi.org/10.1007/s10009-004-0167-4
- http://fmt.cs.utwente.nl
- http://java.sun.com/docs