Number of the records: 1

Relationship between the verification based model and the functional dependences model using program specification

Title	Relationship between the verification based model and the functional dependences model using program specification
Author info	Safeeullah Soomro, Abdul Baqi
Author	Soomro Safeeullah (50%)
Co-authors	Baqi Abdul (50%)
Source document	Lecture notes in computer science : Advanced intelligent computing theories and applications: with aspects of artificial intelligence : 6th international conference on intelligent computing, ICIC 2010, Changsha, China, August 18-21, 2010, Proceedings. Vol. 6216 (2010), pp. 535-542. - [s. l.] : Springer international publishing, 2010
Keywords	functional dependenices models model-based software debugging fault detection and localization
Language	English
Country	Germany
systematics	004
Public work category	AFC
No. of Archival Copy	31751
Catal.org.	BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
Database	xpca - PUBLIKAČNÁ ČINNOSŤ

unrecognised

Number of the records: 1