Search Results - "Sousa, Felipe R. M." :: K.UTB vyhledávací portál

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

by Sousa, Felipe R. M., Cordeiro, Lucas C., de Lima Filho, Eddie B.
Published in 2015 IEEE 4th Global Conference on Consumer Electronics (GCCE) (01.10.2015)

Get full text

Conference Proceeding

Loading…

Bounded Model Checking of C++ Programs Based on the Qt Framework (extended version)

by Sousa, Felipe R. M, Cordeiro, Lucas C, Filho, Eddie B. de Lima
Year of Publication 05.09.2015

Get full text

Journal Article

Loading…

Bounded Model Checking of C++ Programs Based on the Qt Framework (extended version)

by Sousa, Felipe R M, Cordeiro, Lucas C, Eddie B de Lima Filho
Published in arXiv.org (05.09.2015)

Get full text

Paper

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

Bounded Model Checking of C++ Programs Based on the Qt Framework (extended version)

Bounded Model Checking of C++ Programs Based on the Qt Framework (extended version)

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database