Sarwosri, Sarwosri, Fakultas Teknologi Informasi, ITS, 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.