Model Checking a C++ Software Framework, a Case Study

מידע ביבליוגרפי

הוצא לאור ב:	arXiv.org (Jun 29, 2019), p. n/a
מחבר ראשי:	Lång, John
מחברים אחרים:	I S W B Prasetya
יצא לאור:	Cornell University Library, arXiv.org
נושאים:	Translating Acceptance tests Program verification (computers) Source code C (programming language) C plus plus Design defects Computer models Software Workflow Case studies
גישה מקוונת:	Citation/Abstract Full text outside of ProQuest
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!