We found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleA Formal Proof of Correctness of Construct Association from PROMELA to Java.AuthorsSuprapto; Wardoyo, Retantyo; Widjaja, Belawati H.; Pulungan, RezaPublicationIAENG International Journal of Computer Science, 2015, Vol 42, Issue 4, p313ISSN1819-656XPublication typeAcademic Journal