A Formal Proof of Correctness of Construct Association from PROMELA to Java. - Suprapto; Wardoyo, Retantyo; Widjaja, Belawati H.; Pulungan, Reza (IAENG International Journal of Computer Science, 2015)