Home | english  | Impressum | Sitemap | KIT

A Translation From JML to JavaDL

A Translation From JML to JavaDL
Typ:Studienarbeit
Datum:2005
Betreuer:

Prof. P. H. Schmitt
Andreas Roth

Bearbeiter:

Christian Engel

BibTeX

@Misc{Engel05,
            author = {Christian Engel},
            title = {A Transaltion from JML to JavaDL},
            howpublished = {Studienarbeit, {F}akult\"{a}t f\"{u}r Informatik, {U}niversit\"{a}t {K}arlsruhe},
            address = {http://i12www.ira.uka.de/$\sim/publications/sa.pdf},
            month = {feb},
            year = {2005},
}