Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/3-540-45614-7_16> ?p ?o }
Showing triples 1 to 25 of
25
with 100 triples per page.
- 3-540-45614-7_16 doi "10.1007/3-540-45614-7_16".
- 3-540-45614-7_16 first1 "N.".
- 3-540-45614-7_16 first1 "P.".
- 3-540-45614-7_16 first2 "J. R.".
- 3-540-45614-7_16 first2 "M.".
- 3-540-45614-7_16 first3 "G. T.".
- 3-540-45614-7_16 first4 "E.".
- 3-540-45614-7_16 isCitedBy Java.
- 3-540-45614-7_16 isbn "3-540-36749-7".
- 3-540-45614-7_16 isbn "3-540-43928-5".
- 3-540-45614-7_16 last1 "Cataño".
- 3-540-45614-7_16 last1 "Chalin".
- 3-540-45614-7_16 last2 "Huisman".
- 3-540-45614-7_16 last2 "Kiniry".
- 3-540-45614-7_16 last3 "Leavens".
- 3-540-45614-7_16 last4 "Poll".
- 3-540-45614-7_16 pages "272–289".
- 3-540-45614-7_16 pages "342–363".
- 3-540-45614-7_16 title "Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2".
- 3-540-45614-7_16 title "Formal Specification and Static Checking of Gemplus’ Electronic Purse Using ESC/Java".
- 3-540-45614-7_16 url fmco05.pdf.
- 3-540-45614-7_16 work "FME 2002:Formal Methods—Getting IT Right".
- 3-540-45614-7_16 work "Formal Methods for Components and Objects".
- 3-540-45614-7_16 year "2002".
- 3-540-45614-7_16 year "2006".