@book{_proof_2011,
	title = {{PROOF} {INDEPENDENT} {VERIFICATION} {AND} {FORECASTING} {OF} {THE} {HIDDEN} {DEFECTS} {OF} {CRITICAL} {SOFTWARE} {BASED} {MEASUREMENT} {DIVERSITY} {INVARIANTS}},
	url = {http://jrnl.nau.edu.ua/index.php/IPZ/article/view/3050},
	language = {English},
	publisher = {National Aviation University},
	author = {Конорев, Борис Михайлович and Сергієнко, Володимир Володимирович and Туркін, Ігор Борисович},
	year = {2011},
	keywords = {Програмне забезпечення, калібрування, незалежна верифікація, профіль дефектів., тестування, формальні методи верифікації, інваріант},
}

{"_id":"MNiYLuFzDikDd3ZhL","bibbaseid":"---proofindependentverificationandforecastingofthehiddendefectsofcriticalsoftwarebasedmeasurementdiversityinvariants-2011","author_short":["Конорев, Б. М.","Сергієнко, В. В.","Туркін, І. Б."],"bibdata":{"bibtype":"book","type":"book","title":"PROOF INDEPENDENT VERIFICATION AND FORECASTING OF THE HIDDEN DEFECTS OF CRITICAL SOFTWARE BASED MEASUREMENT DIVERSITY INVARIANTS","url":"http://jrnl.nau.edu.ua/index.php/IPZ/article/view/3050","language":"English","publisher":"National Aviation University","author":[{"propositions":[],"lastnames":["Конорев"],"firstnames":["Борис","Михайлович"],"suffixes":[]},{"propositions":[],"lastnames":["Сергієнко"],"firstnames":["Володимир","Володимирович"],"suffixes":[]},{"propositions":[],"lastnames":["Туркін"],"firstnames":["Ігор","Борисович"],"suffixes":[]}],"year":"2011","keywords":"Програмне забезпечення, калібрування, незалежна верифікація, профіль дефектів., тестування, формальні методи верифікації, інваріант","bibtex":"@book{_proof_2011,\n\ttitle = {{PROOF} {INDEPENDENT} {VERIFICATION} {AND} {FORECASTING} {OF} {THE} {HIDDEN} {DEFECTS} {OF} {CRITICAL} {SOFTWARE} {BASED} {MEASUREMENT} {DIVERSITY} {INVARIANTS}},\n\turl = {http://jrnl.nau.edu.ua/index.php/IPZ/article/view/3050},\n\tlanguage = {English},\n\tpublisher = {National Aviation University},\n\tauthor = {Конорев, Борис Михайлович and Сергієнко, Володимир Володимирович and Туркін, Ігор Борисович},\n\tyear = {2011},\n\tkeywords = {Програмне забезпечення, калібрування, незалежна верифікація, профіль дефектів., тестування, формальні методи верифікації, інваріант},\n}\n\n","author_short":["Конорев, Б. М.","Сергієнко, В. В.","Туркін, І. Б."],"key":"_proof_2011","id":"_proof_2011","bibbaseid":"---proofindependentverificationandforecastingofthehiddendefectsofcriticalsoftwarebasedmeasurementdiversityinvariants-2011","role":"author","urls":{"Paper":"http://jrnl.nau.edu.ua/index.php/IPZ/article/view/3050"},"keyword":["Програмне забезпечення","калібрування","незалежна верифікація","профіль дефектів.","тестування","формальні методи верифікації","інваріант"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"book","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["програмне забезпечення","калібрування","незалежна верифікація","профіль дефектів.","тестування","формальні методи верифікації","інваріант"],"search_terms":["proof","independent","verification","forecasting","hidden","defects","critical","software","based","measurement","diversity","invariants","конорев","сергієнко","туркін"],"title":"PROOF INDEPENDENT VERIFICATION AND FORECASTING OF THE HIDDEN DEFECTS OF CRITICAL SOFTWARE BASED MEASUREMENT DIVERSITY INVARIANTS","year":2011}