A formal specification in JML of Java security package Conference Paper

authors

• Rubio-Medrano, Carlos

published proceedings

• ADVANCES AND INNOVATIONS IN SYSTEMS, COMPUTING SCIENCES AND SOFTWARE ENGINEERING

author list (cited authors)

• Agarwal, P., Rubio-Medrano, C. E., Cheon, Y., & Teller, P. J.

citation count

• 0

complete list of authors

• Agarwal, Poonam||Rubio-Medrano, Carlos E||Cheon, Yoonsik||Teller, Patricia J

publication date

• January 2007

publisher

• Springer Nature  Publisher

keywords

• 46 Information And Computing Sciences
• 4612 Software Engineering
• 4613 Theory Of Computation

Digital Object Identifier (DOI)

• 10.1007/978-1-4020-6264-3_63

International Standard Book Number (ISBN) 13

• 978-1-4020-6263-6

start page

• 363

end page

• 368

URL

• http://dx.doi.org/10.1007/978-1-4020-6264-3_63