A Formal Proof of Correctness of Construct Association from PROMELA to Java.
Saved in:
| Title: | A Formal Proof of Correctness of Construct Association from PROMELA to Java. |
|---|---|
| Authors: | Suprapto1, sprapto@ugm.ac.id, Wardoyo, Retantyo1, rw@ugm.ac.id, Widjaja, Belawati H.2, bela@cs.ui.ac.id, Pulungan, Reza1, pulungan@ugm.ac.id |
| Source: | IAENG International Journal of Computer Science; Dec2015, Vol. 42 Issue 4, p313-331, 19p |
| Database: | Applied Science & Technology Source |
| ISSN: | 1819656X |
|---|
