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

Felipe R. Monteiro, Lucas Cordeiro, Mário A. P. Garcia, Eddie B. de Lima Filho

Research output: Contribution to conferenceAbstractpeer-review

147 Downloads (Pure)
Original languageEnglish
Publication statusAccepted/In press - 3 Jul 2018
Event33rd IEEE/ACM International Conference on Automated Software Engineering -
Duration: 1 Sept 2018 → …

Conference

Conference33rd IEEE/ACM International Conference on Automated Software Engineering
Period1/09/18 → …

Cite this