DaftarIsitemplate

Call Number

SEM-235

Title

LinguSQL: a verification and transformation tool for database applications, Hal. F.45-F>49

Author

Rikky Wenang Prubojati; I.S.W.Praetya, Heru Suhartanto, Sirajuddin Maizir;

Publisher

SNIKTI V 2005 : Seminar Nasional Ilmu Komputer dan Teknologi Informasi, 9-10 Agustus 2005 Fak. Teknologi Iformasi Univ Kristen Satya Wacana Salatiga Jawa Tengah Indonesia

Subject

Abstract language, Software verification, Theorem prover, software testing language transformation

Location