Automated Analysis of Java Methods for Confidentiality Conference Proceeding uri icon

Overview

publication date

  • June 26, 2009

Full Author List

  • Cerny P; Alur R

Other Profiles

International Standard Book Number (ISBN) 13

  • 978-3-642-02657-7

Additional Document Info

start page

  • 173

end page

  • 187

volume

  • 5643