Bounded Model Checking of C++ Programs Based on the Qt Cross-Platform Framework (Journal-First Abstract)

Research output: Contribution to conference › Abstract › peer-review

241 Downloads (Pure)

Original language	English
Publication status	Accepted/In press - 3 Jul 2018
Event	33rd IEEE/ACM International Conference on Automated Software Engineering - Duration: 1 Sept 2018 → …

Conference	33rd IEEE/ACM International Conference on Automated Software Engineering
Period	1/09/18 → …

Access to Document

@conference{1f24fb92988e44e39d56d114abb3095c,

title = "Bounded Model Checking of C++ Programs Based on the Qt Cross-Platform Framework (Journal-First Abstract)",

author = "Monteiro, \{Felipe R.\} and Lucas Cordeiro and Garcia, \{M{\'a}rio A. P.\} and \{de Lima Filho\}, \{Eddie B.\}",

year = "2018",

month = jul,

day = "3",

language = "English",

note = "33rd IEEE/ACM International Conference on Automated Software Engineering ; Conference date: 01-09-2018",

}

TY - CONF

T1 - Bounded Model Checking of C++ Programs Based on the Qt Cross-Platform Framework (Journal-First Abstract)

AU - Monteiro, Felipe R.

AU - Cordeiro, Lucas

AU - Garcia, Mário A. P.

AU - de Lima Filho, Eddie B.

PY - 2018/7/3

Y1 - 2018/7/3

M3 - Abstract

T2 - 33rd IEEE/ACM International Conference on Automated Software Engineering

Y2 - 1 September 2018

ER -