Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
American Psychological Association 6th edition

Moon Zoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, & Oleg Sokolsky. (2004). Java-Ma C: A Run-Time Assurance Approach for Java Programs. Formal Methods in System Design, 24(2), 129-155.

ISO-690 (author-date, English)

MOONZOO KIM, MAHESH VISWANATHAN, SAMPATH KANNAN, INSUP LEE und OLEG SOKOLSKY, 2004. Java-Ma C: A Run-Time Assurance Approach for Java Programs. Formal Methods in System Design. 1 März 2004. Vol. 24, no. 2, p. 129-155.

Modern Language Association 9th edition

Moon Zoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, und Oleg Sokolsky. „Java-Ma C: A Run-Time Assurance Approach for Java Programs.“. Formal Methods in System Design, Bd. 24, Nr. 2, März 2004, S. 129-55.

Mohr Siebeck - Recht (Deutsch - Österreich)

Moon Zoo Kim/Mahesh Viswanathan/Sampath Kannan/Insup Lee/Oleg Sokolsky: Java-Ma C: A Run-Time Assurance Approach for Java Programs., Formal Methods in System Design 2004, 129-155.

Emerald - Harvard

Moon Zoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee und Oleg Sokolsky. (2004), „Java-Ma C: A Run-Time Assurance Approach for Java Programs.“, Formal Methods in System Design, Vol. 24 No. 2, S. 129-155.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.