1. Model checking C++ programs. (8th September 2021) Authors: Monteiro, Felipe R.; Gadelha, Mikhail R.; Cordeiro, Lucas C. Journal: Software testing, verification & reliability Issue: Volume 32:Number 1(2022) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗