Theorem Prover based Static Analyzer: Comparison Analysis between ESC/Java2 and KeY.

HAMID, SITI HAFIZAH BINTI AB (2014) Theorem Prover based Static Analyzer: Comparison Analysis between ESC/Java2 and KeY. In: LNEE315. UNSPECIFIED.

Full text not available from this repository.
Item Type: Book Section
Uncontrolled Keywords: Theorem Prover based Static Analyzer: Comparison Analysis between ESC/Java2 and KeY.
Subjects: T Technology
Depositing User: MR. ADNAN YAHYA
Date Deposited: 20 May 2014
Last Modified: 20 May 2014
URI: http://repository.um.edu.my/id/eprint/39545

Actions (login required)

View Item View Item