External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Java-MaC: A Run-Time Assurance Approach for Java Programs

Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky. Java-MaC: A Run-Time Assurance Approach for Java Programs. Formal Methods in System Design, 24(2):129-155, 2004. [doi]

Authors

Moonzoo Kim

This author has not been identified. Look up 'Moonzoo Kim' in Google

Mahesh Viswanathan

This author has not been identified. Look up 'Mahesh Viswanathan' in Google

Sampath Kannan

This author has not been identified. Look up 'Sampath Kannan' in Google

Insup Lee

This author has not been identified. Look up 'Insup Lee' in Google

Oleg Sokolsky

This author has not been identified. Look up 'Oleg Sokolsky' in Google
runs on