LinguSQL: A Verification and Transformation Tool for Database Application

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

Original language	Undefined/Unknown
Title of host publication	Seminar Nasional Ilmu Komputer dan Teknologi Informasi (SNIKTI)
Publication status	Published - 2005

LinguSNIKTI05

Keywords

@inproceedings{a178a9ce06264a4eaa1500e21ec2cb74,

title = "LinguSQL: A Verification and Transformation Tool for Database Application",

keywords = "Wiskunde en Informatica (WIIN)",

author = "R.W. Purbojati and I.S.W.B. Prasetya and S. Maizir and B. Wibowo and A. Azurat",

note = "LinguSNIKTI05",

year = "2005",

language = "Undefined/Unknown",

booktitle = "Seminar Nasional Ilmu Komputer dan Teknologi Informasi (SNIKTI)",

}