Tjahyanti, Luh Putu Ary, Program Studi Teknik Informatika, AMIKOM-ASM Mataram, Indonesia
-
Vol 5, No 2: Juli 2009 - Artikel
VERIFIKASI BERBASIS ASERSI OTOMATIS MODULAR DENGAN METODE SEPARATION LOGIC
Abstract PDF
This work is licensed underĀ a Creative Commons Attribution 4.0 International License.