Search Results - "Garcia, Mario A. P." :: K.UTB vyhledávací portál

Bounded model checking of C++ programs based on the Qt cross‐platform framework

by Monteiro, Felipe R., Garcia, Mário A. P., Cordeiro, Lucas C., Lima Filho, Eddie B.
Published in Software testing, verification & reliability (01.05.2017)

Get full text

Journal Article

Loading…

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

by Monteiro, Felipe R., Garcia, Mario A. P., Cordeiro, Lucas C., de Lima Filho, Eddie B.
Published in 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2018)

Get full text

Conference Proceeding

Bounded model checking of C++ programs based on the Qt cross‐platform framework

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

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database