Skip to content

Static Analysis Usage for Customizable Semantic Checks of C and C++ Programming Languages Constraints.

Valeriy N. Ignatyev

VenueAICST
Year2014
ProceedingsICST Workshops

Browse the full ICST paper archive.