Public

Bounded Model Checking of Pointer Programs

Published in Lecture notes in computer science • Jan 1, 2005

NobleIDNI7P52W78R25S08

Authors:

Witold Charatonik

,

Lilia Georgieva

,

Patrick Maier

Subject

Pointer (user interface)

Bounded function

Computer science

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!